CPSC_513_101_2014W

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