Leveraging Applications of Formal Methods, Verification, and Validation. International Workshops, SARS 2011 and MLSC 2011
Book title Buchtitel
Leveraging Applications of Formal Methods, Verification, and Validation. International Workshops, SARS 2011 and MLSC 2011
ISBN
978-3-642-34781-8
Publisher Herausgeber
Springer
Place of publishing Erscheinungsort
Berlin, Heidelberg
DOI
10.1007/978-3-642-34781-8
Series Schriftenreihe
Communications in Computer and Information Science
Volume Band
336