VMCAI 2004 ((2004 :)
Overview
Works: | 3 works in 0 publications in 0 languages |
---|
Titles
Verification, model checking, and abstract interpretation = 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings /
by:
Levi, G. (1942-); Steffen, Bernhard.; NetLibrary, Inc.; VMCAI 2004 ((2004 :); ACM Symposium on Principles of Programming Languages (2004 :)
(Language materials, printed)
Subjects