CPSC_513_101_2020W

Course Title
Introduction to Formal Verification and Analysis
Instructor(s)
Calendar Description
Course Info
Course Number
CPSC 513
Section
101
Term
Term 1
Session
2020W
Dates
Days
MW
Time (start)
3:00 PM
Time (end)
4:30 PM
Date (start)
Date (end)
UBC Course Schedule