An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs (Abstract).

David Gries

Browse the full ICSE paper archive.