VMCAI,, 5,
Verification, model checking, and abstract interpretation : proceedings / 5th International Conference, VMCAI 2004 ; ed. Bernhard Steffen, Giorgio Levi
Verification, model checking, and abstract interpretation : proceedings / 5th International Conference, VMCAI 2004 ; ed. Bernhard Steffen, Giorgio Levi
. - Berlin : Springer, cop. 2004
. - XI, 324 p. : il. 24 cm
. - (Lecture notes in computer science; 2937)
3-540-20803-8 Brochado
681.3
681.3-7