FM 2016 : Formal Methods
Subtitle: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
Publisher: Springer
Published: Nov 08, 2016
Format: paperback
Number of pages: 812
ISBN-13: 9783319489889
Notes: Source title: FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings (Lecture Notes in Computer Science (9995))