The spec# programming system: An overview. (2004)

by M Barnett, Leino KRM, W Schulte
Venue:Proceedings of CASSIS (Lecture Notes in Computer Science,