http://sites.lero.ie/fm2011/bestpaperaward.html?rss fm2011 / Best Paper Award en <p>The title of <strong>Best paper </strong>was awarded to :-</p><p><strong>The 1st Verified Software Competition: Experience Report.</strong></p><p>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.</p><p><strong><span style="color: #FF8040;">Special Thanks to Springer for providing the prize</span></strong></p> Mon, 27 Jun 2011 10:02:54 GMT http://sites.lero.ie/fm2011/bestpaperaward.html lero http://sites.lero.ie/fm2011/bestpaperaward.htmlMon, 27 Jun 2011 10:02:54 GMT