Formal verification of object-oriented software：international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers

Corporate Authors: FoVeOOS (Conference) (2010 Paris, France); SpringerLink (Online service)
Group Author: Marche Claude.; Beckert Bernhard.
Published: Springer,
Publication Dates: 2011.