4. VMCAI 2003:
New York,
NY,
USA
Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay (Eds.):
Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings.
Lecture Notes in Computer Science 2575 Springer 2003, ISBN 3-540-00348-7 BibTeX
@proceedings{DBLP:conf/vmcai/2003,
editor = {Lenore D. Zuck and
Paul C. Attie and
Agostino Cortesi and
Supratik Mukhopadhyay},
title = {Verification, Model Checking, and Abstract Interpretation, 4th
International Conference, VMCAI 2003, New York, NY, USA, January
9-11, 2002, Proceedings},
booktitle = {VMCAI},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2575},
year = {2003},
isbn = {3-540-00348-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Talks
Invited Tutorials
Static Analysis
Dynamic Systems
Abstract Interpretation
Model Checking I
Security Protocols
Formal Methods
Model Checking II
Copyright © Sat May 16 23:46:46 2009
by Michael Ley (ley@uni-trier.de)
