FM 2015: Formal Methods
| Author | : Nikolaj Bjørner |
| Publisher | : Springer |
| Total Pages | : 620 |
| Release | : 2015-05-23 |
| ISBN-10 | : 9783319192499 |
| ISBN-13 | : 3319192493 |
| Rating | : 4/5 (493 Downloads) |
Book Synopsis FM 2015: Formal Methods by : Nikolaj Bjørner
Download or read book FM 2015: Formal Methods written by Nikolaj Bjørner and published by Springer. This book was released on 2015-05-23 with total page 620 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.