Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
de
- Idioma
- Inglés
- Publicado en
- Editorial
- Springer
- Páginas
- 331
- ISBN
- 9783540478133
Temas
Detalles de la edición original
Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers Publicado originalmente en 2002
Idioma original
Inglés
Editorial original Springer Science & Business Media
Otras ediciones (2)
Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
2002 • Springer Science & Business Media
Inglés
Verification, Model Checking, and Abstract Interpretation 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings
2014 • Springer Berlin Heidelberg
Inglés