Computer Aided Verification, Fourth International Workshop, CAV '92, Montreal, Canada, June 29

Gregor von Bochmann David K. Probst Computer Aided Verification, Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings CAV Lecture Notes in Computer Science 663 Springer 1993 3-540-56496-9 db/conf/cav/cav1992.html