Hoare Logic
See
HoareTriple
, wikipedia:
http://en.wikipedia.org/wiki/Hoare_logic
EditText
of this page (last edited
June 21, 2008
) or
FindPage
with title or text search
Hoare Logic
Hoare Logic EditText of this page
(last edited June 21, 2008)
or FindPage with title or text search