A synthesizer of inductive assertions (1975)

by S German, B Wegbreit
Venue:IEEE Trans. Software Eng