Hoare Logic

view on wiki.c2.com

last modified: June 21, 2008

See HoareTriple, wikipedia: http://en.wikipedia.org/wiki/Hoare_logic

I am open-source

Loading...