Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Margaria, Tiziana (Editor), Steffen, Bernhard (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
• Series: Communications in Computer and Information Science, 17
• Subjects: Computer science.; Software engineering.; Computer programming.; Computers.; Computer simulation.; Computer Science.; Software Engineering/Programming and Operating Systems.; Theory of Computation.; Programming Techniques.; Software Engineering.; Models and Principles.; Simulation and Modeling.

This book constitutes the thoroughly refereed proceedings of the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Porto Sani, Greece, in October 2008 The 68 revised full papers presented together with 2 invited talks and 1 keynote speec...