Beckert, Bernhard.

Overview

Works:	0 works in 1 publications in 1 languages

Titles

Formal verification of object-oriented softwareinternational conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers / by: (1998 :); Beckert, Bernhard.; Damiani, Ferruccio.; Gurov, Dilian.; SpringerLink (Online service) (Electronic resources)

Formal verification of object-oriented softwareinternational conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers / by: (1998 :); Beckert, Bernhard.; Marche, Claude.; SpringerLink (Online service) (Electronic resources)

Tests and proofssecond international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings / by: (1998 :); Beckert, Bernhard.; Hahnle, Reiner.; SpringerLink (Online service) (Electronic resources)

Automated Reasoning with Analytic Tableaux and Related Methods :International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings by: (1998 :); Beckert, Bernhard.; SpringerLink (Online service) (Electronic resources)

Verification of Object-Oriented Software. The KeY Approach :Foreword by K. Rustan M. Leino / by: Beckert, Bernhard.; Hahnle, Reiner.; Schmitt, Peter H.. (Electronic resources)

Subjects