CAV (Conference) (4th 1992 Montréal, Québec) profile picture

CAV (Conference) (4th 1992 Montréal, Québec)

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

Stand Alone

Computer aided verification
Computer aided verification: fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings