Leveraging Applications of Formal Methods, Verification and Validation. Third International Symposium, ISoLA 2008
Book title Buchtitel
Leveraging Applications of Formal Methods, Verification and Validation. Third International Symposium, ISoLA 2008
ISBN
978-3-540-88479-8
Editor Herausgeber_in
Publisher Herausgeber
Springer
Springer
Springer
Place of publishing Erscheinungsort
Berlin, Heidelberg
DOI
10.1007/978-3-540-88479-8
Series Schriftenreihe
Communications in Computer and Information Science
Volume Band
17