"The 1st Verified Software Competition: Experience Report."

Vladimir Klebanov et al. (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics