Tagged with icalp2014
Research
ICALP 2014: Viktor Kuncak
"Verifying and Synthesizing Software with Recursive Functions" 2nd invited talk from the ICALP...
Research
THE HILBERT HEARTBREAK HOTEL
Algorithms and classical music is Associate Professor Thore Husfeldt's big passion.Thore is the...