course · COMP4011 · 2026
Advanced Topics in Formal Methods and Programming Languages
Undergraduate6 unitsIn Person
About this course
Published offerings · 2026
Second Semester
Requisites and incompatibilities
This course's eligibility rules have not been reviewed. Check the official course page.
Find where it fits in my plan →