Computer aided verification
Subtitle: 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings
By: Pierre Wolper, ed.
Contributors: Wolper, Pierre.
Series: Lecture notes in computer science -- 939.
Publisher: Springer-Verlag
Published: 1995
Place of publication: Berlin; New York
Language: eng
Number of pages: 450
Subjects: Computer software -- Verification -- Congresses.; Electronic digital computers -- Evaluation -- Congresses.
Genres: Congresses.
Other titles: CAV 95.
Notes: Includes bibliographical references and index.