Changes

Compiler (view source)

4 bytes added , 18:28, April 5, 2012

sort out link/reference

Line 98: Line 98:

<ref>

{{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

| author = Jonathan Aldrich

SkipCaptcha

265

edits