Etienne Kneuss, Viktor Kuncak, Ivan Kuraj, and Philippe Suter. Synthesis modulo recursive functions. In
OOPSLA
, 2013.
[
bib
]
Back