Etienne Kneuss, Viktor Kuncak, Ivan Kuraj, and Philippe Suter. On integrating deductive synthesis and verification systems. Technical Report EPFL-REPORT-186043, EPFL, 2013.

bib ] Back