Corina S. Pasareanu

Corina S. Pasareanu

3 books in the database

Books

Model Checking SoftwareCorina S. Pasareanu

Model Checking Software

Corina S. Pasareanu · 2009

Proceedings of the 2014 International Symposium on Software Testing and AnalysisCorina S. Pasareanu

Proceedings of the 2014 International Symposium on Software Testing and Analysis

Corina S. Pasareanu · 2014

Model Checking Software 16th International Spin Workshop Grenoble France June 2628 2009 ProceedingsCorina S. Pasareanu

Model Checking Software 16th International Spin Workshop Grenoble France June 2628 2009 Proceedings

Corina S. Pasareanu · 2009

Co-authored books and collections

Books that list Corina S. Pasareanu among their authors but not as the lead author: co-written works, collections and compilations.

Theoretical Aspects of Computing - ICTAC 2022Helmut Seidl

Theoretical Aspects of Computing - ICTAC 2022

Helmut Seidl · 2022