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