Computer aided verification
Subtitle: 5th international conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings
By: Costas Courcoubetis (ed.).
Contributors: Courcoubetis, Costas.
Series: Lecture notes in computer science -- 697
Publisher: Springer-Verlag
Published: 1993
Place of publication: Berlin; New York
Language: eng
Subjects: Computer software -- Verification -- Congresses.; Electronic digital computers -- Evaluation -- Congresses.
Other titles: CAV'93.