Throw specific exception for a violation of a contract on an automatic property
Code Contracts Invariant unproven.. Works fine with Contract.Assert at the end of each method
Views on Design By Contract or code contract
CodeContracts: Invoking this method will always lead to an error
declare code as side-effects free using microsoft code contracts
Why is the CC1033 message suppression not applied?
Building with code contracts on AppHarbor
Is there any best practice/guidelines available for using Code Contracts, Pex and 'Fake' framework?
How to find 'masked' assertions in MS Code Contracts
Code Contract that Ensures that All Items in a Collection are the Same
Visual Studio Code Contracts Extension - Tooltips only show list of exceptions and not the contract info
Pex not satisfying code contract
code contracts via generic helper
Code Contracts trying to get build errors instead of warnings
Why doesn't the Code Contracts tab appear in VS 2010?
Have to prove base class property invariant in all derived classes?