Skip to content
everything
.study
Queen’s
/
CISC
CISC 422
Formal Methods in Software Engineering
3.00 units · Undergraduate
Sources
Course catalogue ↗
2026–2027