Verification, Model Checking, And Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | February 26, 2008 |
| Editors | Lenore D. Zuck |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2275723 |
About Verification, Model Checking, And Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
th This volumecontains the proceedingsof the 9 internationalconference onV- i?cation, Model Checking, and Abstract Interpretation (VMCAI 2008), held in San Francisco, January 7–9, 2008. . . .