Verification, model checking, and abstract interpretation 5th international conference, VMCAI 2004, Venice Italy, January 11-13, 2004 : proceedings

VMCAI 2004 (2004 Venice, Italy) Bernhard Steffen; G Levi 1942 (Giorgio); ACM Symposium on Principles of Programming Languages (31st 2004 Venice, Italy)

Berlin Springer New York c2004

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2937 ) e outros locais(Acessar)