Leveraging Applications of Formal Methods, Verification and Validation
Subtitle: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... I
Publisher: Springer
Published: Sep 11, 2012
Format: paperback
Number of pages: 633
ISBN-13: 9783642340253
Notes: Source title: Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... I (Lecture Notes in Computer Science (7609))