Reasoning about Dynamic Policies.

Riccardo Pucella, Vicky Weissman

Browse the full FOSSACS paper archive.