ML Anthology

Constable, Robert L.

1 publications

AAAI 1999 Verbalization of High-Level Formal Proofs Amanda M. Holland-Minkley, Regina Barzilay, Robert L. Constable