Corina S. Păsăreanu

Identifiers

Open LibraryOL8507447A

Books by Corina S. Păsăreanu

Total count: 3

Computer Aided Verification27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Springer London, Limited2015-01-01
Symbolic Execution and Quantitative ReasoningApplications to Software Safety and Security

Morgan & Claypool Publishers2020-01-01
Software Engineering and Formal Methods19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings

Springer International Publishing AG2022-01-01