کتاب‌های 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