Lecture Notes in Computer Science: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

Bjørner, Nikolaj; de Boer, Frank

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.

Details

Published by: Springer

Publication Date: 2015-06-02

Format: Paperback

ISBN-13: 9783319192482

DOI: 10.1007/978-3-319-19249-9

Dimensions: 235cm x155cm

Pages: 610