Title: Computer aided verification
First published: 1993
Subjects: Congresses, Electronic digital computers, Evaluation, Verification, Computer software
LC classification: QA76.76.E93 C38 1993