Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings Beckert Bernhard Heftet / 2005 / Engelsk
Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings Beckert Bernhard Heftet / 2008 / Engelsk
Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers Beckert Bernhard Heftet / 2011 / Engelsk
Formal Verification of Object-Oriented Software International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers Beckert Bernhard Heftet / 2012 / Engelsk
Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino Beckert Bernhard Heftet / 2007 / Engelsk
Logic of Software. A Tasting Menu of Formal Methods Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday Ahrendt, Wolfgang Heftet / 2022 / Engelsk
Deductive Software Verification: Future Perspectives Reflections on the Occasion of 20 Years of KeY Ahrendt, Wolfgang Heftet / 2020 / Engelsk
