Verification, Model Checking, and Abstract Interpretation [Risorsa elettronica] : Third International Workshop, VMCAI 2002 Venice, Italy, January 2122, 2002 Revised Papers / edited by Agostino Cortesi
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2006
ISBN
9783540478133
Collana
Lecture Notes in Computer Science , 0302-9743 ; 2294