FM 2015: Formal Methods
Book title Buchtitel
FM 2015: Formal Methods
Publisher Herausgeber
Lecture Notes in Computer Science/Springer
Place of publishing Erscheinungsort
9109
Series Schriftenreihe
Lecture Notes in Computer Science