Leveraging Applications of Formal Methods, Verification, and Validation
Book title Buchtitel
Leveraging Applications of Formal Methods, Verification, and Validation
Editor Herausgeber_in
Publisher Herausgeber
Lecture Notes in Computer Science
Place of publishing Erscheinungsort
6415
DOI
10.1007/978-3-642-16558-0
Series Schriftenreihe
Lecture Notes in Computer Science
Results 1-4 of 4 (Search time: 0.002 seconds).