Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications. ISoLA 2014, Proceedings, Part II
Book title Buchtitel
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications. ISoLA 2014, Proceedings, Part II
ISBN
978-3-662-45231-8
Publisher Herausgeber
Springer
Place of publishing Erscheinungsort
Berlin, Heidelberg
DOI
10.1007/978-3-662-45231-8
Series Schriftenreihe
Lecture Notes in Computer Science
Volume Band
8803