Beckert, Bernhard.

Overview

Works:	3 works in 1 publications in 1 languages

Titles

Formal verification of object-oriented software = international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers / by: Beckert, Bernhard.; Damiani, Ferruccio.; Gurov, Dilian.; 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: Beckert, Bernhard.; SpringerLink (Online service); TABLEAUX 2005 ((2005 :) (Language materials, printed)

Tests and proofs = second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings / by: Beckert, Bernhard.; Hahnle, Reiner.; SpringerLink (Online service); TAP 2008 ((2008 :) (Language materials, printed)

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

Subjects