Publisher
Springer Berlin Heidelberg
Reference47 articles.
1. Apt, K.R.: Ten years of Hoare’s logic, a survey, part I. ACM Transactions on Programming Languages and Systems 3, 431–483 (1981); Tech. Report, Fac. of Economics, Erasmus Univ. Rotterdam (April 1979)
2. Backus, J.W., et al.: The FORTRAN Automatic Coding System. In: Proc. Western Joint Computing Conf., vol. 11, pp. 188–198 (1957)
3. de Bakker, J.: Mathematical Theory of Program Correctness. Prentice Hall, Englewood Cliffs (1980)
4. Lecture Notes in Computer Science;E. Börger,2003
5. Börger, E., Stärk, R.: Abstract State Machines. Springer, Berlin (2003)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献