The title of Best paper was awarded to :-

The 1st Verified Software Competition: Experience Report.

Klebanov, Müller, N. Shankar, Leavens, Wüstholz, Alkassar, Arthan, Bronish, Chapman, Cohen, Hillebrand, Jacobs, Leino, Monahan, Piessens, Polikarpova, Ridge, Smans, Tobies, Tuerk, Ulbrich, Weiss.

Special Thanks to Springer for providing the prize

RSS icon
View a printer-friendly version of this page
Page last updated: 27/06/2011