Computer Aided Verification, 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994, Proceedings

David L. Dill Computer Aided Verification, 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994, Proceedings CAV Lecture Notes in Computer Science 818 Springer 1994 3-540-58179-0 db/conf/cav/cav94.html