partial correctness, proof of

views updated

partial correctness, proof of See program correctness proof.