On the Existence of Effective Hoare Logics

Michal Grabowski, Hardi Hungar

Browse the full LICS paper archive.