© 1995
Computer Aided Verification
7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings
- Editors
Conference proceedings
CAV 1995
- 638 Citations
- 8.5k Downloads
Part of the Lecture Notes in Computer Science book series (LNCS, volume 939)