Ebook: FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
- Tags: Software Engineering, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Management of Computing and Information Systems, Computation by Abstract Devices
- Series: Lecture Notes in Computer Science 9109
- Year: 2015
- Publisher: Springer International Publishing
- Edition: 1
- Language: English
- pdf
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.
Download the book FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)