Tagged with epfl

Events

ICALP 2014: Viktor Kuncak

923 views July 11, 2014

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