Corina S. Pasareanu

Corina S. Pasareanu

3 ספרים במאגר

ספרים

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

ספרים משותפים ואוספים

ספרים שבהם Corina S. Pasareanu מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Theoretical Aspects of Computing - ICTAC 2022Helmut Seidl

Theoretical Aspects of Computing - ICTAC 2022

Helmut Seidl · 2022