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)