Formal Verification of Object-Oriented Software
Subtitle: International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
By: edited by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov
Contributors: Damiani, Ferruccio; Gurov, Dilian; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7421
Publisher: Springer Berlin Heidelberg; Imprint: Springer
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642317620
Subjects: Programming Techniques; Information Systems; Software engineering; Logic design; Logics and Meanings of Programs; Computer science; Management of Computing and Information Systems; Programming Languages, Compilers, Interpreters