Publisher
Springer International Publishing
Reference91 articles.
1. Aczel, P.H.G.: On an inference rule for parallel composition (1983). (Private communication) Manuscript, Manchester
2. Apt, K., Olderog, E.R.: Fifty years of Hoare’s logic. Formal Aspects Comput. 31(6), 751–807 (2019)
3. Apt, K.R.: Ten years of Hoare’s logic: a survey–part I. ACM Trans. Program. Lang. Syst. 3(4), 431–483 (1981)
4. Apt, K.R.: Ten years of Hoare’s logic: a survey–part II: nondeterminism. Theoret. Comput. Sci. 28(1–2), 83–109 (1983)
5. Texts and Monographs in Computer Science;KR Apt,1991