Title: Computer Aided Verification 24th International Conference
Subjects: Computer software, verification