This blog post is to provide a bit more detail about the Code Contracts feature that was recently announced at the PDC and in Justin’s blog entry , and that can be found in the Visual Studio 2010 and .NET Framework 4.0 CTP . I’ll include some information
