Hoare Logic


.
.
Background reading on Hoare Logic 2010 626 133 Mike Gordon