The 1st Verified Software Competition: Experience Report [chapter]

Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark Hillebrand, Bart Jacobs (+10 others)
2011 Lecture Notes in Computer Science  
We, the organizers and participants, report our experiences from the 1st Verified Software Competition, held in August 2010 in Edinburgh at the VSTTE 2010 conference.
doi:10.1007/978-3-642-21437-0_14 fatcat:vkjleltbkrdchok44arrshxfua