Verification, Model Checking, and Abstract Interpretation [Risorsa elettronica] : Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers / edited by Agostino Cortesi

• Record Nr.: UNINA990009236470403321
• Pubbl/distr/stampa: Berlin ; Heidelberg : Springer, 2006
• ISBN: 9783540478133
• Collana: Lecture Notes in Computer Science , 0302-9743 ; 2294
• Lingua di pubblicazione: Inglese
• Formato: Risorsa elettronica
• Livello bibliografico: Monografia