Policy Refinement Checking (extended abstract)
S. Creese N. Papanikolaou M. Goldsmith
Book Title
Proceedings of 9th Symposium on Automated Verification of Critical Systems (AvoCS’09)‚ Technical Report CSR−2−2009‚ Swansea University
Month
September
Year
2009