On Effective Axiomatizations of Hoare Logics

Edmund M. Clarke, Steven M. German, Joseph Y. Halpern. On Effective Axiomatizations of Hoare Logics. In POPL. pages 309-321, 1982.

Bibliographies