Couverture de Verification, Model Checking, and Abstract Interpretation 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings
Acheter sur Amazon

Verification, Model Checking, and Abstract Interpretation 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

de Bernhard Steffen, Giorgio Levi

Langue
Anglais
Parution
2003
Éditeur
Springer
Pages
325
ISBN
9783540246220

Thèmes