Static conflict detection for a policy language∗ Alix Trieu1 , Robert Dockins2 , Andrew Tolmach3 1: ENS Rennes, 2: Galois, Inc.

First Page		Document Content
Date: 2015-10-04 14:40:35		Static conflict detection for a policy language∗ Alix Trieu1 , Robert Dockins2 , Andrew Tolmach3 1: ENS Rennes, 2: Galois, Inc. Add to Reading List Source URL: rwd.rdockins.name Download Document from Source Website File Size: 538,26 KB Share Document on Facebook