ML Anthology

Zawadzki, Erik

1 publications

AISTATS 2011 An Instantiation-Based Theorem Prover for First-Order Programming Erik Zawadzki, Geoffrey Gordon, Andre Platzer