Formal Methods for Executable Software Models
Book title Buchtitel
Formal Methods for Executable Software Models
Publisher Herausgeber
Springer
DOI
10.1007/978-3-319-07317-0
Series Schriftenreihe
Lecture Notes in Computer Science