CPSC_513_101_2018W

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