Equivalence of the Gries and Martin proof rules for procedure calls
- 1 July 1986
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 23 (4) , 357-360
- https://doi.org/10.1007/bf00267863
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- A general proof rule for procedures in predicate transformer semanticsActa Informatica, 1983
- The Science of ProgrammingPublished by Springer Nature ,1981