@@ -43,9 +43,9 @@ Coursework Published: Monday 6th of November
Submitted: Wednesday 15th of November
Feedback: Monday 20tht of November
Feedback: Monday 20th of November
Exam: 11th week
Exam: TBC 11th week
Recommended Reading: Mike Gordon has some [excellent notes on Hoare logic](http://www.cl.cam.ac.uk/~mjcg/Teaching/2011/Hoare/Notes/Notes.pdf), which briefly touches on separation logic in the last chapter.
Two good books on Hoare logic are: Logic in Computer Science: Modelling and Reasoning about Systems, Michael Huth and Mark Ryan, CUP, 2004; and The Formal Semantics of Programming Languages: an Introduction, Glynn Winskel, MIT Press, 1993.
