Events

ICALP 2014: Viktor Kuncak

364 views
"Verifying and Synthesizing Software with Recursive Functions"

2nd invited talk from the ICALP 2014 conference hosted by the IT University of Copenhagen.
This live talk aired the 9th of July, 2014.