Title: Computer Aided Verification: Fourth International Workshop, Cav'92 Montreal, Canada, June 29-July 1, 1992
Subjects: Computer software, Verification, Congresses, Electronic digital computers, Evaluation