Testing First-Order Logic Axioms in Program Verification.

Ki Yung Ahn, Ewen Denney

Browse the full TAP paper archive.