3 ms·

http://www.spatial.maine.edu/~worboys/processes/hoare%20axiomatic.pdf http://www.spatial.maine.edu/~worboys/processes/hoare%20axio... The title + filetype:pdf

http://www.spatial.maine.edu/~worboys/processes/hoare%20axiomatic.pdf http://www.spatial.maine.edu/~worboys/processes/hoare%20axio... The title + filetype:pdf seems to find them all.

smhenderson 11y ago
Awesome, thanks! I hadn't looked too hard but now that you point out how easy it is you just gave me something to do this weekend.