Take a photo of a barcode or cover
Read With Others
Book Information
483 pages • paperback • 13 editions
ISBN/UID: 9783540242970
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 13 Jan 2005
Description
This volume contains the papers accepted for presentation at the 6th Inter- tional Conference on Veri?cation, Model Checking and Abstract Interpretation (VMCAI 2005), which was held January 17-19, 2005 in Paris, France. VMCAI provides a forum for ...
Community Reviews
Content Warnings
483 pages • paperback
ISBN/UID: 9783540242970
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 13 Jan 2005
Description
This volume contains the papers accepted for presentation at the 6th Inter- tional Conference on Veri?cation, Model Checking and Abstract Interpretation (VMCAI 2005), which was held January 17-19, 2005 in Paris, France. VMCAI provides a forum for ...
Community Reviews
Content Warnings