Computer aided verification
Subtitle: fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings
By: G. v. Bochmann, D.K. Probst, eds.
Contributors: Bochmann, Gregor von, 1941-; Probst, D. K. 1945-
Series: Lecture notes in computer science -- 663.
Publisher: Springer-Verlag
Published: 1993
Place of publication: Berlin; New York
Language: eng
Number of pages: 422
Subjects: Computer software -- Verification -- Congresses.; Electronic digital computers -- Evaluation -- Congresses.
Genres: Congresses.
Notes: Includes bibliographical references.