Computing Publications

Publications Home » A Formal Approach to Analysis and...

A Formal Approach to Analysis and Refinement of Policies

Arosha Bandara

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.