The Spec# Programming System: An Overview (2004)

by M Barnett, K R M Leino, W Schulte
Venue:In CASSIS 2004. Pp