Verifying and synthesizing software with recursive functions - (invited contribution). (2014)

by V Kuncak
Venue:In Automata, Languages, and Programming - 41st International Colloquium, ICALP 2014,