COMP 4161: Advanced Topics in Software Verification
Data61 Advanced Course, Term 3/2019
Home
Course Outline
Lectures
Assignments
Exam
Reading
Forum
Exam
The exam will be a 24h take-home exam. It will start Fri, 6 Dec 2019, 8am, and end 7 Dec 2019, 7:59am.