Differences

This shows you the differences between two versions of the page.

--- course_outline [2010/03/04 04:47] – jonathan
+++ course_outline [2010/03/04 04:57] (current) – jonathan
@@ Line 81: / Line 81: @@
 Complete the refinement/proof of the sort program.
-Dijkstra guarded command language, and proofs of loops via variants and invariants.
+Dijkstra [[http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD472.PDF|guarded command language]] and proofs of loops via variants and invariants.
 Chapter XVI: Location access controller