Computer Aided Verification: Fourth International Workshop, Cav'92 Montreal, Canada, June 29-July 1, 1992 
Subtitle: Proceedings (Lecture Notes in Computer Science)
Contributors: D. K. Probst (Editor)
Publisher: Springer
Published: August 1994
Language: eng
Format: Paperback
Number of pages: 431
ISBN-13: 9780387564968
Subjects: Software Quality Control; Computers; Mathematics; Computer Books: General; Science/Mathematics; Logic; Logic Design; Programming - Software Development; Computer software; Congresses; Electronic digital computers; Evaluation; Verification