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:83 - 7 self