Difference between revisions of "Category:Code Contracts"
Jump to navigation
Jump to search
(Created page with "Code Contracts is a Microsoft Research project which allows you to express pre-conditions, post-conditions, and assertions directly in the code.") |
(No difference)
|
Latest revision as of 18:51, 17 September 2017
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.