Title: Computer aided verification
Subjects: Computer software, Verification, Congresses, Electronic digital computers, Evaluation, Computer programs