Computer aided verification 4th international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. - Bochmann, G. V.; Probst, D. K.; CAV (Conference) (4th : 1992 : Montreal, Canada). (Berlin Springer-Verlag, 1993)
Keywords: Computer software -- Verification -- Congresses; Electronic digital computers -- Evaluation -- Congresses