Program Correctness
Partial and Total Correctness. Basic Paths. Verification Conditions. PiVC.
pivc.pdf
—
PDF document,
220 kB (225506 bytes)