Konstantin Weitz, Steven Lyubomirsky, Stefan Heule, Emina Torlak, Michael D. Ernst, and Zachary Tatlock. Spacesearch: A library for building and verifying solver-aided tools. In 2017 ACM SIGPLAN International Conference on Functional Programming, ICFP '17. ACM, 2017.

bib ] Back


This file was generated by bibtex2html 1.98.