A Note on the Automatic Generation of Inductive Assertions.

Wolfgang Coy

Browse the full MFCS paper archive.