skip to main content
Language:

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

Available at ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2937 ) and other locations(GetIt)

Expand ICMC - Inst. Ciên. Mat. Computação locations ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2937 ) Available
Expand IME - Inst. Matemática e Estatística locations IME - Inst. Matemática e Estatística (S L471c v.2937 ) Available
Back to results list

  • Implemented by: ABCD-USP USP   Social Network Logos: Freepik

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Show me what you have so far