Formal Verification of Object-Oriented Software (FoVeOOS)

FoVeOOS 2011: Turin, Italy

FoVeOOS 2010: Paris, France

a service of Schloss Dagstuhl - Leibniz Center for Informatics