Levi, G. (1942-)
Overview
| Works: | 1 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:
VMCAI 2004 ((2004 :); Levi, G. (1942-); Steffen, Bernhard.; NetLibrary, Inc.; ACM Symposium on Principles of Programming Languages (2004 :)
(Electronic resources)
Subjects