Livros de Corina S. Pasareanu - BookPine

Theoretical Aspects of Computing – ICTAC 2022: 19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings

Theoretical Aspects of Computing – ICTAC 2022: 19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings

Helmut Seidl

Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings

Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings

Radu Calinescu

Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security

Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security

Corina S. Pasareanu

Computer Aided Verification: 27th International Conference (CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I)

Computer Aided Verification: 27th International Conference (CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I)

Daniel Kroening

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Daniel Kroening

Formal Aspects of Component Software

Formal Aspects of Component Software

Corina S. Pasareanu

Model Checking Software

Model Checking Software

Corina S. Pasareanu

Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012: Revised Selected Papers

Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012: Revised Selected Papers

Corina S. Pasareanu