Proving Programs Correct through Refinement

Claus H. Correl. Proving Programs Correct through Refinement. Acta Informatica, 9:121-132, 1978.

Abstract

Abstract is missing.