7. CAV 1995:
Liège,
Belgium
Pierre Wolper (Ed.):
Computer Aided Verification, 7th International Conference, Liège, Belgium, July, 3-5, 1995, Proceedings.
Lecture Notes in Computer Science 939 Springer 1995, ISBN 3-540-60045-0 BibTeX
@proceedings{DBLP:conf/cav/1995,
editor = {Pierre Wolper},
title = {Computer Aided Verification, 7th International Conference, Li{\`e}ge,
Belgium, July, 3-5, 1995, Proceedings},
booktitle = {CAV},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {939},
year = {1995},
isbn = {3-540-60045-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Session 1:
Invited Talk
- Randal E. Bryant:
Multipliers and Dividers: Insights on Arithmetic Circuits Verification (Extended Abstract).
1-3 BibTeX
Session 2
Session 3
Session 4
Session 5:
Invited Tutorial
Session 6
Session 7
Session 8
Session 9:
Invited Talk
- Patrick Cousot, Radhia Cousot:
Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form.
293-308 BibTeX
Session 10
Sesion 11
Session 12
Copyright © Sat May 16 23:00:36 2009
by Michael Ley (ley@uni-trier.de)