Robuta

https://collaborate.princeton.edu/en/publications/efficient-substitution-in-hoare-logic-expressions/ Efficient substitution in hoare logic expressions - Princeton University hoare logic princeton university efficient substitution expressions https://www.cl.cam.ac.uk/teaching/1011/CST/node75.html Computer Laboratory – Course material 2010–11: Hoare Logic computer laboratory hoare logic course material