Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
- Langue
- Anglais
- Parution
- 2003
- Éditeur
- Springer
- Pages
- 331
- ISBN
- 9783540478133
Thèmes
Édition originale
Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised PapersParu pour la première fois en 2002 Anglais 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
- Verification, Model Checking, and Abstract Interpretation 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings
Aucun avis pour l’instant. À toi d’ouvrir le bal !