2010-07-25 InfoQ: 進捗の思わしくない Code Contracts コンピューター http://www.infoq.com/jp/news/2009/12/Code-Contracts-Review