Theoretical Aspects of Computing - ICTAC 2022Helmut Seidl, Zhiming Liu, Corina S. Pasareanu · First published 2022Open the Tome
Proceedings of the 2014 International Symposium on Software Testing and AnalysisCorina S. Pasareanu · First published 2014Open the Tome
Model Checking Software 16th International Spin Workshop Grenoble France June 2628 2009 ProceedingsCorina S. Pasareanu · First published 2009Open the Tome
