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

1991

Book 7 of 442 in Lecture Notes in Computer Science

1990 conference proceedings