Model Checking Software [Risorsa elettronica] : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings / edited by Patrice Godefroid
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2005
ISBN
9783540318996
Collana
Lecture Notes in Computer Science , 0302-9743 ; 3639