Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2010), Proceedings, Part II
Book title Buchtitel
Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2010), Proceedings, Part II
ISBN
978-3-642-16561-0
Editor Herausgeber_in
Publisher Herausgeber
Lecture Notes in Computer Science
Place of publishing Erscheinungsort
Berlin, Heidelberg
DOI
10.1007/978-3-642-16561-0
Series Schriftenreihe
Lecture Notes in Computer Science
Volume Band
6416