[formal-methods] Reading for next week.

[d p chang]

Jason Dusek <jason.dusek at gmail.com> writes:

>   Please read as far as you can for next week. Except if
>   you get to page 74 of the PDF -- then stop and review.

there's a pdf? (for those mostly playing along from home).

\p
---
The art of being wise is the art of knowing what to overlook.
		- William James