Combining programming with theorem proving (2005)

Cached

Download Links

by Chiyan Chen , Hongwei Xi
Venue:In ICFP ’05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
Citations:85 - 7 self

Document Versions

Combining programming with theorem proving –Chiyan Chen, Hongwei Xi — 2005 — In ICFP ’05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming