Title :
Correction to "An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs"
Author_Institution :
Department of Computer Science, Cornell University
Keywords :
"Tin","Computer errors","Error correction","Computer science"
Journal_Title :
IEEE Transactions on Software Engineering
DOI :
10.1109/TSE.1977.231136
