Category:Code Contracts
Jump to navigation
Jump to search
Code Contracts is a Microsoft Research project which allows you to express pre-conditions, post-conditions, and assertions directly in the code.
Pages in category "Code Contracts"
This category contains only the following page.