Cover Image

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

Bibliographic Details
Corporate Author: CAV '93 Elounda, Greece
Other Authors: Courcoubetis, Costas
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer-Verlag, [1993]
Series:Lecture notes in computer science ; 697.
Subjects:
Computer software > Verification > Congresses.
Electronic digital computers > Evaluation > Congresses.

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.76.E93 C38 1993
 
Call Number Status Get It
QA76.76.E93 C38 1993 Available