Toggle navigation
WebCMS3
Search Courses
Login
COMP6131
26T2
Home
Course Outline
GitHub Repo
Course Forums (Discourse)
Timetable
Course Work
Lectures
Lab-1
Lab-2
Lab-3
Assignment-1
Assignment-2
Assignment-3
Assessments
Activities
Toggle Menu
Resources
Lectures
Lectures
Week 10
27/07/2026 - 31/07/2026
Lecture: Bug Detection using Abstract Interpretation
Lab: Bug Detection Implementation and Testing
Back to top
COMP6131 26T2 (Software Security Analysis)
is powered by
WebCMS3
CRICOS Provider No. 00098G
