Publisher
Springer International Publishing
Reference22 articles.
1. Abramsky, S., Gabbay, D., Maibaum, T. (eds.): Handbook of Logic in Computer Science, vol. 1–5. Oxford University Press, (1993–2000)
2. Hoare, C.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576–580 (1969)
3. Apt, K.: Ten years of Hoare’s logic: a survey - part I. ACM Trans. Program. Lang. Syst. 3(4), 431–483 (1981)
4. Blass, A., Gurevich, Y.: The underlying logic of Hoare logic, Current Trends in Theoretical Computer Science. In: Entering the 21st Century, World Scientific, pp. 409–436 (2001)
5. Communications in Computer and Information Science;A Kryvolap,2013
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献