Skip to content
everything
.study
Waterloo
/
CS
CS 747
Software Verification Using Proof Assistants
Graduate
Sources
Course catalogue ↗
2026–2027