Leveraging Applications of Formal Methods, Verification, and Validation
Subtitle: 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraclion, Crete, Greece, October 15-18, 2012, Revised Selected Papers
Publisher: Springer International Publishing AG
Published: 2016
Language: eng
Number of pages: 157
ISBN-13: 9783319516400
Subjects: Software engineering; Computer science