Andrew Reynolds, Viktor Kuncak, Cesare Tinelli, Clark Barrett, and Morgan Deters. Refutation-based synthesis in SMT. Formal Methods in System Design (FMSD), 2017.

[ bib ] Back