Code Contracts: Structured specifications colocated with code

4 points | by spolu a day ago