Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings
Bernhard Steffen, Giorgio Levi (eds.)
Bok Engelsk 2004 VMCAI 2004
| Utgitt | Berlin : Springer , c2004
|
|---|---|
| Omfang | XI, 324 s. : ill.
|
| Emner | |
| ISBN | 3540208038
|
