Abstract Read Permissions: Fractional Permissions without the Fractions.

Stefan Heule, K. Rustan M. Leino, Peter Mller, Alexander J. Summers

Browse the full VMCAI paper archive.