Verification, Model Checking, and Abstract Interpretation 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings
by
- Language
- English
- Published in
- Publisher
- Springer Berlin Heidelberg
- Pages
- 328
- ISBN
- 9783662169674
Subjects
Original edition details
Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers Originally published in 2002
Original language
English
Original publisher Springer Science & Business Media
Other editions (2)
Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
2003 • Springer
English
Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
2002 • Springer Science & Business Media
English