Cover Image

Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings /

Show other versions (1)
Bibliographic Details
Corporate Author: CAV (Conference) New Brunswick, N.J.)
Other Authors: Alur, Rajeev, 1966-, Henzinger, T. A. (Thomas A.)
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer-Verlag, [1996]
Series:Lecture notes in computer science ; 1102.
Subjects:
Computer software > Verification > Congresses.
Electronic digital computers > Evaluation > Congresses.

Remote Storage

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