Leveraging Applications Of Formal Methods, Verification And Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | October 14, 2008 |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2027455 |
About Leveraging Applications Of Formal Methods, Verification And Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings
This volume contains the conference proceedings of ISoLA 2008, the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, which was held in Porto Sani . . .