FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Jones, Cliff (Editor), Pihlajasaari, Pekka (Editor), Sun, Jun (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2014.
• Series: Lecture Notes in Computer Science, 8442
• 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: XVIII, 750 p. 185 illus. online resource.
• ISBN: 9783319064109
• ISSN: 0302-9743 ;

This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.