Code Contracts: Structured specifications colocated with code

2 pointsposted 5 hours ago
by spolu
(code-contracts.cc)

No comments yet