Verification of programs with procedure-type parameters

• 1 January 1982
• journal article
• Published by Springer Nature in Acta Informatica
• Vol. 18  (2)
• https://doi.org/10.1007/bf00264436

Abstract