Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Beckert, Bernhard (Editor), Damiani, Ferruccio (Editor), Gurov, Dilian (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
• Series: Lecture Notes in Computer Science, 7421
• Subjects: Computer science.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Management information systems.; Computer Science.; Software Engineering.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Management of Computing and Information Systems.

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011 – organised by COST Action IC0701. The 10 revised full papers presented together with 5 invit...