TY  - BOOK
AU  - Havelund,Klaus
AU  - Penix,John
AU  - Visser,Willem
ED  - International SPIN Workshop
TI  - SPIN model checking and software verification: 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings 
T2  - Lecture notes in computer science
SN  - 3540410309 (rustica : papel alcalino)
AV  - QA76.76V47 I57 2000
U1  - 005.2/76 21
PY  - 2000///
CY  - Berlin, New York
PB  - Springer Verlag
KW  - Software para computadora
KW  - Verificación
KW  - Congresos
KW  - SPIN (Programa para computadora)
ER  -