Computer aided verification
Subtitle: 7th International Conference, CAV '95, Liege, 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.