- ECU Libraries Catalog

Start Over

You searched for: author_facet Pasareanu, Corina S.

Showing 1 - 5 of 5 results

Search Results

Cover image for Theoretical Aspects of Computing - ICTAC 2022 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings

Theoretical Aspects of Computing - ICTAC 2022 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings

by Seidl, Helmut
2022
1st ed. 2022
Format: Electronic

Location
Access Content Online

Cover image for Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

by Kroening, Daniel
2015
Format: Electronic

Location
Access Content Online

Cover image for Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

by Kroening, Daniel
2015
Format: Electronic

Location
Access Content Online

Cover image for 2014 International Symposium on Software Testing and Analysis (ISSTA)

2014 International Symposium on Software Testing and Analysis (ISSTA)

by Pasareanu, Corina S.
2014
Format: Electronic

Location
Access Content Online

Cover image for Proceedings of the 11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

Proceedings of the 11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

by Freund, Stephen N.
2013
Format: Electronic

Location
Access Content Online