| Titel | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, ... Notes in Computer Science , Band 3702) | 978-3-540-28931-9 | 2008 |
| Deductive Software Verification - The KeY Book: From Theory to Practice | 978-3-319-49811-9 | 2016 | Wolfgang Ahrendt · Richard Bubel · Reiner Hähnle · Peter H. Schmitt · Mattias Ulbrich |
| Electronic Voting: 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1-4, 2019, Proceedings | 978-3-030-30624-3 | 2019 | Robert Krimmer · Melanie Volkamer · Veronique Cortier · Ralf Küsters · Uwe Serdült · David Duenas-Cid |
| Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers | 978-3-642-35886-9 | 2013 | Ferruccio Damiani · Frank S. de Boer · Marcello M. Bonsangue |
| Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers | 978-3-642-31761-3 | 2012 | Ferruccio Damiani · Dilian Gurov |
| Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers | 978-3-642-18069-9 | 2011 | Claude Marché |
| (FORMAL VERIFICATION OF OBJECT-ORIENTED SOFTWARE: INTERNATIONAL CONFERENCE, FOVEOOS 2010, PARIS, FRANCE, JUNE 28-30, 2010, REVISED SELECTED PAPERS (EDI) BY Paperback Paperback Published on | 978-3-642-18071-2 | 2011 |
| Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings | 978-3-540-79123-2 | 2008 |
| Verification of Object-Oriented Software: The KeY Approach | 978-3-540-68977-5 | 2008 | Reiner Hahnle · Peter H. Schmitt |