Soft contract verification (2014)

by P C Nguyen, S T Hochstadt, D V Horn
Venue:In Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming. ACM