Tagged with epfl

01:03:00
Research

ICALP 2014: Viktor Kuncak

1,023 views July 11, 2014

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