# content
Semantics of Programming (video lectures that go with the "Concrete Semantics" book) (via nikki93) — discussion

#formalmethods