Microsoft.Contracts namespace

For what it is necessary Microsoft.Contracts namespace in asp.net?

I mean, in what cases I could write 开发者_运维知识库using Microsoft.Contracts;?

For using code contracts.

You can find the library here C:\Program Files\Reference Assemblies\Microsoft\Framework.NETFramework\v4.0\mscorlib.dll