FM 2015 : Formal Methods
Subtitle: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Publisher: Springer
Published: Jun 02, 2015
Format: paperback
Number of pages: 626
ISBN-13: 9783319192482
Notes: Source title: FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (Lecture Notes in Computer Science (9109))