{"product_id":"verification-model-checking-and-abstract-interpretation-third-international-workshop-vmcai-2002-venice-italy-january-21-22-2002-revised-papers-von-agostino-cortesi-hrsg","title":"Verification, Model Checking, and Abstract Interpretation","description":"\u003cp\u003eprojectofmakingVMCAI anannualprivilegedforumfor researchersin the area. Specialthanksareduetotheinstitutionsthatsponsoredtheevent:theC- puter Science Department of the University Cä Foscari, the European Asso- ation for Programming Languages and Systems (EAPLS), the MIUR Project ¿InterpretazioneAstratta,TypeSystemseAnalisiControl-Flow¿andtheMIUR Project¿MetodiFormaliperlaSicurezza-MEFISTO¿.Weareespeciallygra- ful to C. Braghin for her helpful support in organizingthe workshop.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540436317\"\u003e\u003ch3\u003eThird International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540436317","offer_id":39427624665181,"sku":"9783540436317","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/babcce27-2b41-4e9b-9226-eae04969e415.jpg?v=1777784798","url":"https:\/\/shop.autorenwelt.de\/products\/verification-model-checking-and-abstract-interpretation-third-international-workshop-vmcai-2002-venice-italy-january-21-22-2002-revised-papers-von-agostino-cortesi-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}