Steffen, Bernhard Levi, Giorgio Eds.,
Verification, model checking, and abstract interpretation; 5th international conference, VMCAI 2004 Venice, Italy January 2004: proceedings - Berlin Springer 2004 - 324 - Lecture notes in computer science ; 02937 .
3540208038
681 LNCS
Verification, model checking, and abstract interpretation; 5th international conference, VMCAI 2004 Venice, Italy January 2004: proceedings - Berlin Springer 2004 - 324 - Lecture notes in computer science ; 02937 .
3540208038
681 LNCS