Lecture Notes
Verification of Complex Properties with Types: From Information Flow to Race Detection, Lecture 11
Description:
This is a file that contains information regarding Verification of Complex Properties with Types: From Information Flow to Race Detection.
Resource Type:
Lecture Notes
pdf
468 kB
Verification of Complex Properties with Types: From Information Flow to Race Detection, Lecture 11
Course Info
Instructor
Departments
As Taught In
Fall
2015
Level
Course Info
Instructor
Departments
As Taught In
Fall
2015
Level
Learning Resource Types
notes
Lecture Notes
assignment
Programming Assignments
