Computer Aided Verification
Book title Buchtitel
Computer Aided Verification
Editor Herausgeber_in
Publisher Herausgeber
Springer LNCS
Place of publishing Erscheinungsort
12759
Series Schriftenreihe
Lecture Notes in Computer Science