Axioms for Total Correctness

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

Authors

Stefan Sokolowski

This author has not been identified. Look up 'Stefan Sokolowski' in Google