Model Checking Software
Book title Buchtitel
Model Checking Software
Publisher Herausgeber
LNCS, Springer
Place of publishing Erscheinungsort
7976
Series Schriftenreihe
Lecture Notes in Computer Science