Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers Leucker Martin Heftet / 2008 / Engelsk
Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings Colombo, Christian Heftet / 2018 / Engelsk
Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings Leucker Martin Heftet / 2009 / Engelsk
Formal Methods in Outer Space Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday Bartocci Ezio Heftet / 2021 / Engelsk
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings Chechik Marsha Heftet / 2023 / Engelsk
Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings Leucker Martin Heftet / 2015 / Engelsk
Formal Methods: Applications and Technology 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Brim Lubos Heftet / 2007 / Engelsk
