Formal Verification of Object-Oriented Software
Subtitle: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
By: edited by Bernhard Beckert, Claude Marché
Contributors: Marché, Claude; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6528
Publisher: Springer Berlin Heidelberg
Published: 2011
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642180699; 9783642180705
Subjects: Logic design; Information Systems; Computer science; Software engineering