Skip to content
everything
.study
McGill
/
COMP
COMP 525
Formal Verification
3 credits · Undergraduate / Professional
Sources
Course catalogue ↗
2026-2027
Catalogue entry ↗
Catalogue entry ↗
Catalogue entry ↗
Catalogue entry ↗
Catalogue variants
Formal Verification · 3 · Graduate
Formal Verification · 3 · Undergraduate / Professional