Finding Environment Guarantees.

Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel

Browse the full FASE paper archive.