Publisher
Springer International Publishing
Reference9 articles.
1. America, P., de Boer, F.S.: Proving total correctness of recursive procedures. Inf. Comput. 84(2), 129–162 (1990)
2. Apt, K.R.: Ten years of Hoare’s logic, a survey, part I. ACM Trans. Prog. Lang. Syst. 3, 431–483 (1981)
3. Apt, K.R., de Boer, F.S., Olderog, E.R.: Proving termination of parallel programs. In: Feijen, W.H.J., van Gasteren, A.J.M., Gries, D., Misra, J. (eds.) Beauty is Our Business, A Birthday Salute to Edsger W. Dijkstra, pp. 0–6. Springer-Verlag, New York (1990)
4. Apt, K.R., de Boer, F.S., Olderog, E.R.: Verification of Sequential and Concurrent Programs, 3rd edn. Springer-Verlag, New York (2009)
5. Apt, K.R., de Boer, F.S., Olderog, E.-R., de Gouw, S.: Verification of object-oriented programs: a transformational approach. J. Comput. Syst. Sci. 78(3), 823–852 (2012)