Formal Methods
Book title Buchtitel
Formal Methods
Series Schriftenreihe
Lecture Notes in Computer Science