On the Existence of Effective Hoare Logics

Michal Grabowski Hardi Hungar

Published in: LICS (1988)

Keyphrases

real time
information systems
search engine
social networks
computer vision
high quality
classical logic