Search results for: Felty

Dr. Jill M Seaman Professor of Instruction - Computer Science

Seaman, J., & Felty, A. (1994, January). Proving Properties about a Lazy Functional Language with the Coq Proof Development System. Technical Report.

No Results Found