Embedded contract languages.

Manuel Fhndrich, Michael Barnett, Francesco Logozzo

Browse the full SAC paper archive.