Validation of Policy Integration Using Alloy.

Manachai Toahchoodee, Indrakshi Ray

Browse the full ICDCIT paper archive.