Corina S. Păsăreanu

Books

Theoretical Aspects of Computing – ICTAC 2022 Theoretical Aspects of Computing – ICTAC 2022
Theoretical Aspects of Computing – ICTAC 2022
2022
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2021
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2015
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2015
Model Checking Software Model Checking Software
Model Checking Software
2009