Tagged with lara

Events

ICALP 2014: Viktor Kuncak

922 views July 11, 2014

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