A Note on Synthesis of Inductive Assertions.

Sanat K. Basu A Note on Synthesis of Inductive Assertions. 32-39 1980 6 IEEE Trans. Software Eng. 1 db/journals/tse/tse6.html#Basu80