Axioms for Total Correctness

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

Abstract

Abstract is missing.