3. VMCAI 2002:
Venice,
Italy
Agostino Cortesi (Ed.):
Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers.
Lecture Notes in Computer Science 2294 Springer 2002, ISBN 3-540-43631-6 BibTeX
@proceedings{DBLP:conf/vmcai/2002,
editor = {Agostino Cortesi},
title = {Verification, Model Checking, and Abstract Interpretation, Third
International Workshop, VMCAI 2002, Venice, Italy, January 21-22,
2002, Revised Papers},
booktitle = {VMCAI},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2294},
year = {2002},
isbn = {3-540-43631-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Security and Protocols
Timed Systems and Games
Static Analysis
Optimizations
Types and Verification
Temporal Logics and Systems
Copyright © Sat May 16 23:46:46 2009
by Michael Ley (ley@uni-trier.de)
