A general proof rule for procedures in predicate transformer semantics
- 1 January 1983
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 20 (4)
- https://doi.org/10.1007/bf00264276
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: