Levi, G. (1942-)
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
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 :)
(書目-語言資料,印刷品)