| Titel | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| 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 | Bernhard Beckert · Frank S. de Boer · Marcello M. Bonsangue |
| Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software ... Notes in Computer Science, Band 8483) | 978-3-319-07316-3 | 2014 | Marco Bernardo · Reiner Haehnle · Einar Broch Johnsen · Ina Schaefer |
| 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 | Bernhard Beckert · Dilian Gurov |
| Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers | 978-3-642-02443-6 | 2009 | Stefano Berardi · Ugo de'Liguoro |
| Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers | 978-3-540-22164-7 | 2008 | Stefano Berardi · Mario Coppo |