Model Checking Software More Books by Corina S. Păsăreanu

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