Specification and verification: the Spec# experience

Mike Barnett, Manuel Fähndrich, K. Rustan M. Leino, Peter Müller, Wolfram Schulte, Herman Venter. Specification and verification: the Spec# experience. Communications of the ACM, 54(6):81-91, 2011. [doi]

Abstract

Abstract is missing.