Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993.

Xehetasun bibliografikoak
Erakunde egilea:	CAV (Conference) (5th : 1993 : Elounda, Greece)
Beste egile batzuk:	Courcoubetis, Costas
Formatua:	Liburua
Hizkuntza:	ingelesa
Argitaratua:	Berlin Springer-Verlag c1993.
Saila:	Lecture notes in computer science 697
Gaiak:	Computer software > Verification > Congresses.