Conference Publication Details
Mandatory Fields
Klebanov Vladimir, Peter Mller, Natarajan Shankar, Gary T. Leavens, Valentin Wstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, and Benjamin Weiss.
Formal Methods 2011
The 1st Verified Software Competition, Extended Experience Report.
2011
Published
1
()
Optional Fields
FM 2011, Best Paper Award, 2011
Grant Details