The Spec# Programming System: An Overview (2004)

by M Barnett, K R M Leino, K Rustan, M Leino, W Schulte