Decision Procedures over Sophisticated Fractional Permissions.

Xuan Bach Le, Cristian Gherghina, Aquinas Hobor

Browse the full APLAS paper archive.