Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings Beckert Bernhard Heftet / 2008 / Engelsk
Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings Giesl, Jürgen Heftet / 2010 / Engelsk
Theorem Proving with Analytic Tableaux and Related Methods 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings Baumgartner Peter Heftet / 1995 / Engelsk
Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers Bennaceur, Amel Heftet / 2018 / Engelsk
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings Hähnle, Reiner Heftet / 2019 / Engelsk
Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino Beckert Bernhard Heftet / 2007 / Engelsk
Deductive Software Verification: Future Perspectives Reflections on the Occasion of 20 Years of KeY Ahrendt, Wolfgang Heftet / 2020 / Engelsk
Leveraging Applications of Formal Methods, Verification, and Validation International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers Hähnle, Reiner Heftet / 2012 / Engelsk
Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures Giachino, Elena Heftet / 2013 / Engelsk
