Axioms for Total Correctness

Stefan Sokolowski. Axioms for Total Correctness. Acta Informatica, 9:61-71, 1977.

Bibliographies