mono/mono — pull request #442 by olegoid (2012-08-22 19:39:36+00:00)
Title: Improve Code Contracts Static Verifier

http://olegdemchenko.blogspot.com/