Computer aided verification
Subtitle: 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings
By: Pierre Wolper, ed.
Contributors: Wolper, Pierre León.
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.
Other titles: CAV 95
Notes: Includes bibliographical references and index.