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