Symbolic Execution and Quantitative Reasoning Applications to Software Safety and Security Păsăreanu, Corina S. Heftet / 2020 / Engelsk
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I Kroening Daniel Heftet / 2015 / Engelsk
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II Kroening Daniel Heftet / 2015 / Engelsk
Software Engineering and Formal Methods 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings Calinescu, Radu Heftet / 2021 / Engelsk
