Viktor Kuncak. Verifying and synthesizing software with recursive functions (invited contribution). In 41st International Colloquium on Automata, Languages, and Programming (ICALP), 2014.

[ bib ] Back