Tagged with viktor kuncak

1,023 views July 11, 2014

"Verifying and Synthesizing Software with Recursive Functions" 2nd invited talk from the ICALP...