Formal verification of object-oriented software：International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised selected papers

Corporate Authors: FoVeOOS (Conference) (2011 Turin, Italy); SpringerLink (Online service)
Group Author: Damiani Ferruccio.; Gurov Dilian.; Beckert Bernhard.
Published: Springer,
Publication Dates: c2012.