Nicolas Voirol, Etienne Kneuss, Viktor Kuncak. Counter-example complete verification for higher-order functions. In Philipp Haller, Heather Miller, editors, Proceedings of the 6th ACM SIGPLAN Symposium on Scala, Scala 2015, Portland, OR, USA, June 15-17, 2015. pages 18-29, ACM, 2015. [doi]
Abstract is missing.