Computer aided verification
Subtitle: 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings
By: Rajeev Alur, Thomas A. Henzinger, eds.
Contributors: Alur, Rajeev, 1966-; Henzinger, T. A.
Series: Lecture notes in computer science -- 1102
Publisher: Springer-Verlag
Published: 1996
Place of publication: Berlin; New York
Language: eng
Number of pages: 472
Subjects: Computer software -- Verification -- Congresses; Electronic digital computers -- Evaluation -- Congresses
Other titles: CAV '96
Notes: Includes bibliographical references and author index.