The 1st Verified Software Competition:
by
Peter Müller
,
Thomas Tuerk
,
Vladimir Klebanov
,
Mattias Ulbrich
,
Benjamin Weiß
,
K. Rustan
,
M. Leino
,
Rod Chapman
,
Rosemary Monahan
,
Nadia Polikarpova
,
Derek Bronish
,
Rob Arthan
,
Eyad Alkassar
,
Ernie Cohen
,
Mark Hillebr
,
Stephan Tobies
,
Bart Jacobs
,
Frank Piessens
,
Jan Smans
BibTeX
@MISC{Müller_the1st,
author = {Peter Müller and Thomas Tuerk and Vladimir Klebanov and Mattias Ulbrich and Benjamin Weiß and K. Rustan and M. Leino and Rod Chapman and Rosemary Monahan and Nadia Polikarpova and Derek Bronish and Rob Arthan and Eyad Alkassar and Ernie Cohen and Mark Hillebr and Stephan Tobies and Bart Jacobs and Frank Piessens and Jan Smans},
title = {The 1st Verified Software Competition:},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
www.vscomp.org Abstract. We, the organizers and participants, report our experiences
