UCSD-PL/algorithmic-software-verification — pull request #14 by abakst (2013-05-23 16:37:24+00:00)
Title: Scribenotes (Floyd-Hoare pt 2)

Finally got around to pushing these...