total correctness, proof of

views updated

total correctness, proof of See program correctness proof.