Skip to content

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