Computer aided verification 4th international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992.

Bibliografiset tiedot
Yhteisötekijä:	CAV (Conference) (4th : 1992 : Montreal, Canada)
Muut tekijät:	Bochmann, G. V., Probst, D. K.
Aineistotyyppi:	Kirja
Kieli:	englanti
Julkaistu:	Berlin Springer-Verlag c1993.
Sarja:	Lecture notes in computer science 663
Aiheet:	Computer software > Verification > Congresses. Electronic digital computers > Evaluation > Congresses.