plt17:lecture_20

Lecture 20

Lecture 20 Slides (Hoare Rules)

Readings

Mike Gordon, “Background Reading on Hoare Logic” http://www.cl.cam.ac.uk/~mjcg/Teaching/2011/Hoare/Notes/Notes.pdf
(also cached here )

plt17/lecture_20.txt · Last modified: 2017/10/20 15:13 by hossein