Verifying and Synthesizing Software with Recursive Functions - (Invited Contribution).

Viktor Kuncak

Browse the full ICALP paper archive.