Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
par
- Langue
- Anglais
- Publié en
- Maison d'édition
- Springer Science & Business Media
- Pages
- 330
- ISBN
- 9783540436317
Thèmes
Infos sur l'édition originale
Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers Paru initialement en 2002
Langue d'origine
Anglais
Éditeur d'origine Springer Science & Business Media
Autres éditions (2)
Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
2003 • Springer
Anglais
Verification, Model Checking, and Abstract Interpretation 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings
2014 • Springer Berlin Heidelberg
Anglais
