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.
Show all versions (2)