FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Bjørner, Nikolaj (Editor), de Boer, Frank (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
• Series: Lecture Notes in Computer Science, 9109
• Subjects: Computer science.; Software engineering.; Computers.; Computer logic.; Mathematical logic.; Management information systems.; Computer Science.; Software Engineering.; Mathematical Logic and Formal Languages.; Logics and Meanings of Programs.; Management of Computing and Information Systems.; Computation by Abstract Devices.
• Physical Description: XVI, 610 p. 156 illus. online resource.
• ISBN: 9783319192499
• ISSN: 0302-9743 ;

This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.