Toggle navigation
WebCMS3
Search Courses
Login
COMP3153
25T3
Home
Course Outline
Timetable
Glossary of terms
Activities
Discourse forum
Course Work
Lectures
Lecture recordings
Tutorials
Formatif
Coding examples
Exam resources
Toggle Menu
Resources
Lectures
Lectures
Week 1
15/09/2025 - 21/09/2025
Lecture 1: Course Introduction
Back to top
COMP3153/COMP9153 25T3 (Algorithmic Verification)
is powered by
WebCMS3
CRICOS Provider No. 00098G
