Computer Aided Verification, 2nd International Workshop, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings

Edmund M. Clarke Robert P. Kurshan Computer Aided Verification, 2nd International Workshop, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings CAV Lecture Notes in Computer Science 531 Springer 1991 3-540-54477-1 db/conf/cav/cav1990.html