Discern: Towards the Automatic Discovery of Software Contracts.

Yishai A. Feldman, Leon Gendler

Browse the full SEFM paper archive.