The Spec# programming system: An overview (0)

by M BARNETT, K R M LEINO, W SCHULTE
Venue:In Construction and Analysis of Safe, Secure and Interoperable Smart Devices: Proceedings of the International Workshop CASSIS 2004