Год: 2016
полная версия
C# Code Contracts...