The spec# programming system: An overview (2004)

by M Barnett, K R M Leino, W Schulte
Venue:In