L’équipe de Code Contracts vient de publier une nouvelle Release de Code Contracts version 1.4.60317.12.

Vous pouvez télécharger cette release directement sur le site de la galérie de Visual Studio.