The Spec# programming system: An overview (2004)

by M Barnett, K R M Leino, W Schulte
Venue:In Proceedings of In CASSIS 2004, volume 3362 of Lecture Notes in Computer Science