next up previous contents
Next: While Rule Up: Floyd-Hoare Logic Previous: Example   Contents


If-rules


David Goodwin 2008-09-20