Leveraging Applications Of Formal Methods, Verification And Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Use attributes for filter ! | |
Google books | books.google.com |
---|---|
Originally published | October 19, 2010 |
Date of Reg. | |
Date of Upd. | |
ID | 2589299 |
About Leveraging Applications Of Formal Methods, Verification And Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Annotation The two volume set LNCS 6415 and LNCS 6416 constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2010, held in Heraklion, Crete, Greece, in October 2010. . . .