A Necessary and Sufficient Condition for the Existence of Hoare Logics

A Necessary and Sufficient Condition for the Existence of Hoare Logics Richard J. Lipton 1-6 conf/focs/FOCS18 1977 FOCS db/conf/focs/focs77.html#Lipton77