Publication
KISS: Keep It Simple and Sequential
Publication
The Complexity of Pure Nash Equilibria
Publication
Object Invariants in Dynamic Contexts
Publication
Hoare-Style Program Verification (Lecture 2)
Publication