CPSC_513_101_2017W

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