Cover of Verification, Model Checking, and Abstract Interpretation 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings
Buy on Amazon

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

by Bernhard Steffen, Giorgio Levi

Language
English
Published
2003
Publisher
Springer
Pages
325
ISBN
9783540246220

Subjects