FM 2015: Formal Methods PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download FM 2015: Formal Methods PDF full book. Access full book title FM 2015: Formal Methods by Nikolaj Bjørner. Download full books in PDF and EPUB format.

FM 2015: Formal Methods

FM 2015: Formal Methods PDF Author: Nikolaj Bjørner
Publisher: Springer
ISBN: 3319192493
Category : Computers
Languages : en
Pages : 620

Book Description
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.
➤