FM 2015 : Formal Methods
Subtitle: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Publisher: Springer London, Limited
Published: 2015
Language: eng
ISBN-13: 9783319192499
Subjects: Software engineering; Logic, symbolic and mathematical