Verifying an infinite family of inductions simultaneously using data independence and FDR.

S. J. Creese, A. W. Roscoe

Browse the full FORTE paper archive.