Axioms for Total Correctness

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

No reviews for this publication, yet.