Take a photo of a barcode or cover
Read With Others
Book Information
395 pages • paperback • 13 editions
ISBN/UID: 9783540697350
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 01 Feb 2007
Description
The book constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007. This event was co-located with the Symposium on Princ...
Community Reviews
Content Warnings
395 pages • paperback
ISBN/UID: 9783540697350
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 01 Feb 2007
Description
The book constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007. This event was co-located with the Symposium on Princ...
Community Reviews
Content Warnings