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
|