New Course Proposal:
CMPT 473
(Cross-Listed with CMPT 773)
Introduction to Formal Verification

Eugenia Ternovska