Skip to main content
Side panel
Home
MySaint
More
Log in
Home
MySaint
Course information
2025_6_S2_CS4052 Logic and Software Verification
This course does not use Moodle. Look at CS student resources for information
Course Type
:
2025-2026 Modules
Shared Course
:
No
Feeder Course
:
No