Leveraging Applications of Formal Methods, Verification and Validation. 4th International Symposium on Leveraging Applications, ISoLA 2010
Book title Buchtitel
Leveraging Applications of Formal Methods, Verification and Validation. 4th International Symposium on Leveraging Applications, ISoLA 2010
ISBN
978-3-642-16561-0
Publisher Herausgeber
Springer
Place of publishing Erscheinungsort
Berlin, Heidelberg
DOI
10.1007/978-3-642-16561-0
Series Schriftenreihe
Lecture Notes in Computer Science
Volume Band
6416
Subject
Date issued
Results 1-1 of 1 (Search time: 0.004 seconds).