verification condition

views 3,586,547 updated

verification condition See program correctness proof.

More From encyclopedia.com