Cover Image

Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings /

Show other versions (1)
Bibliographic Details
Corporate Author: CAV '92 Montréal, Quebec
Other Authors: Bochmann, Gregor von, 1941-, Probst, D. K. (David Karl), 1945-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer-Verlag, [1993]
Series:Lecture notes in computer science ; 663.
Subjects:
Computer software > Verification > Congresses.
Electronic digital computers > Evaluation > Congresses.
Show all versions (2)