Tagged with lausanne

Events

ICALP 2014: Viktor Kuncak

898 views July 11, 2014

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