Hacker News new | ask | show | jobs
Code Contracts Propagate Requirements (pschanely.github.io)
1 points by pschanely 1778 days ago