CAV (Conference) (2nd 1990 New Brunswick, N.J.) profile picture

CAV (Conference) (2nd 1990 New Brunswick, N.J.)

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Computer-aided verification
Computer-aided verification: proceedings
Computer-Aided Verification: 2nd Internatonal Conference, Cav '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings (Lecture Notes in Computer Science)