dblp.uni-trier.de www.uni-trier.de

5. VMCAI 2004: Venice, Italy

Bernhard Steffen, Giorgio Levi (Eds.): Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings. Lecture Notes in Computer Science 2937 Springer 2004, ISBN 3-540-20803-8 BibTeX
@proceedings{DBLP:conf/vmcai/2004,
  editor    = {Bernhard Steffen and
               Giorgio Levi},
  title     = {Verification, Model Checking, and Abstract Interpretation, 5th
               International Conference, VMCAI 2004, Venice, January 11-13,
               2004, Proceedings},
  booktitle = {VMCAI},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2937},
  year      = {2004},
  isbn      = {3-540-20803-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Tutorial

Security

Formal Methods I

Invited Talk

Miscellaneous

Model Checking

Formal Methods II

Software Checking

Invited Talk

Software Checking

Liveness and Completeness

Formal Methods III

Key Note

Copyright © Sat May 16 23:46:46 2009 by Michael Ley (ley@uni-trier.de)