Title: Computer Aided Verification
Subjects: Computer software, Verification, Congresses, Electronic digital computers, Evaluation