6.820 | Fall 2015 | Undergraduate

Fundamentals of Program Analysis

Lecture Notes

Intro to Models and Properties, Lectures 21

Description:

This is a file that contains information regarding intro to models and properties.

Resource Type:
Lecture Notes
pdf
1 MB
Intro to Models and Properties, Lectures 21

Course Info

As Taught In
Fall 2015
Learning Resource Types
Lecture Notes
Programming Assignments