You need to sign in or sign up before continuing.
Take a photo of a barcode or cover
Read With Others
Book Information
395 pages • paperback • 13 editions
ISBN/UID: 9783642113185
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 01 Apr 2010
Description
This volume contains the proceedings of the 11th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2010), held in Madrid, Spain, January 17-19, 2010. VMCAI 2010 was the 11th in a series of meetings. Previo...
Community Reviews
Content Warnings
395 pages • paperback
ISBN/UID: 9783642113185
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 01 Apr 2010
Description
This volume contains the proceedings of the 11th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2010), held in Madrid, Spain, January 17-19, 2010. VMCAI 2010 was the 11th in a series of meetings. Previo...
Community Reviews
Content Warnings