Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference32 articles.
1. Apt, K.R.: A sound and complete Hoare-like system for a fragment of PASCAL. Math. Centrum IW 96/78, Amsterdam, 59 pp. 1978
2. Apt, K.R.: Ten years of Hoare's logic: A survey-part I. Fac. Econom., Erasmus Univ. Rotterdam, 43 pp. 1979; ACM TOPLAS3, 431?483 (1981)
3. Büchi, J.R.: Regular canonical systems. Arch. Math. Logik Grundlagenforsch.6, 91?111 (1964)
4. Clarke, E.M., Jr.: Programming Language constructs for which it is impossible to obtain good Hoare axiom systems. J. ACM26, 1, 129?147 (1979)
5. Clarke, E.M., Jr.: Private letter (1979)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献