Axioms for total correctness

Publisher Website

1 January 1977

journal article
Published by Springer Nature in Acta Informatica

Vol. 9 (1)
https://doi.org/10.1007/bf00263765

Abstract

No abstract available

Keywords

Cited by 6 articles