On the existence of effective Hoare logics

• 6 January 2003
• conference paper
• Published by Institute of Electrical and Electronics Engineers (IEEE)
• https://doi.org/10.1109/lics.1988.5140

Abstract

Keywords

• EXISTENCE OF EFFECTIVE HOARE LOGICS