termination, proof of

views updated

termination, proof of See program correctness proof.