Take a photo of a barcode or cover
Read With Others
Book Information
325 pages • paperback • 13 editions
ISBN/UID: 9783540208037
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 07 Jan 2004
Description
This volume contains the proceedings of the 5th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2004), held inVenice, January11-13,2004, inconjunctionwithPOPL2004, the31stAnnual SymposiumonPrinciplesofPr...
Community Reviews
Content Warnings
325 pages • paperback
ISBN/UID: 9783540208037
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 07 Jan 2004
Description
This volume contains the proceedings of the 5th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2004), held inVenice, January11-13,2004, inconjunctionwithPOPL2004, the31stAnnual SymposiumonPrinciplesofPr...
Community Reviews
Content Warnings