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

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

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