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
Learning Resource Types
notes
Lecture Notes
assignment
Programming Assignments
