Maximal specification synthesis.

Aws Albarghouthi, Isil Dillig, Arie Gurfinkel

Browse the full POPL paper archive.