Publications Home » A Formal Approach to Analysis and...
A Formal Approach to Analysis and Refinement of Policies
- PhD Thesis
- July, 2005
- Imperial College London, Department of Computing
BibTEX file for the publication
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.