Spec# for Visual Studio 2008

Language:
English
Spec# is an experimental language that extends C# (version 2) with several design-by-contract features. Last published: November 26, 2008.