2008-11-05 11/5 NEWS ・Code Contracts - Microsoft Research CLR4.0関連のセッションで紹介されていたCode Contracts。後でチェックしようっと。