Category:Code Contracts

From QuickOPC Knowledge Base
Jump to: navigation, 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.