Integrating a set of contract checking tools into visual studio.

Manuel Fhndrich, Michael Barnett, Daan Leijen, Francesco Logozzo

Browse the full ICSE paper archive.