correctness proof

views updated

correctness proof See program correctness proof.