Leveraging Applications of Formal Methods, Verification and Validation
Book title Buchtitel
Leveraging Applications of Formal Methods, Verification and Validation
ISBN
978-3-540-88478-1
Editor Herausgeber_in
Publisher Herausgeber
springer
Springer Berlin Heidelberg
Springer Berlin Heidelberg
Place of publishing Erscheinungsort
Heidelberg
DOI
10.1007/978-3-540-88479-8
Series Schriftenreihe
Communications in Computer and Information Science
Results 1-2 of 2 (Search time: 0.001 seconds).