Last updated on 2020-08-20Conference > Program > Invited Talks > Viktor Kuncak

Viktor Kuncak

Wednesday 9 July 2014, 8.30–9.30 in AUD1

Viktor Kuncak (EPFL Lausanne). Verifying and Synthesizing Software with Recursive Functions
Chair: Javier Esparza

Find this page Online

https://icalp2014.itu.dk/Conference/Program/Invited-Talks/Viktor-Kuncak