next up previous contents
Next: Lecture Date Map Up: Floyd-Hoare Logic Previous: If-rules   Contents


While Rule


David Goodwin 2008-09-20