C
Corina S. Pasareanu
4 works on record
Works

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

Model Checking Software
Theoretical Aspects of Computing - ICTAC 2022
Theoretical Aspects of Computing - ICTAC 2022
2022
Proceedings of the 2014 International Symposium on Software Testing and Analysis
Proceedings of the 2014 International Symposium on Software Testing and Analysis