SkipCaptcha
265
edits
Changes
Jump to navigation
Jump to search
Line 98:
Line 98: − +
sort out link/reference
<ref>
<ref>
{{cite web
{{cite web
| url=www.cl.cam.ac.uk/teaching/Lectures/funprog-jrh.../chapter7.ps.gz
| url = http://www.cs.cmu.edu/~aldrich/courses/654-sp07/slides/7-hoare.pdf
| title = Hoare Logic: Proving Programs Correct
| title = Hoare Logic: Proving Programs Correct
| author = Jonathan Aldrich
| author = Jonathan Aldrich