IEEE Trans. Software Eng. , 6(5), 465-479

Program correctness: on inductive assertion methods

February 21, 1980

J. King

Read Research Paper