Turing Machine Award 2012: presentation ceremony
The Turing Machine Award ceremony took place at the Böcklsaal on Thu, December 20th, 2012.
Andrey Rybalchenko
Program verification as constraint solving (also for existential and universal CTL properties)