Advanced Topics in Formal Methods and Programming Languages

About this course

Published offerings · 2026

Second Semester

Requisites and incompatibilities

To enrol in this course you must have successfully completed 12 units of 6000-level COMP courses. Additional Prerequisite courses for the Advanced Topic will be listed on the SoCo website when the course topic is announced. Students who meet the pre-requisites can request a permission code following the instructions Enrolling in CECC courses. You will need to contact the School of Computing to request a permission code to enrol in this course.