The Spec# programming system (2004)

by M Barnett, K Leino, W Schulte
Venue:In Proc. CASSIS’04