%0 Thesis %1 phd/ethos/Bandara05 %A Bandara, Arosha K. %D 2005 %K dblp %T A formal approach to analysis and refinement of policies.

@phdthesis{phd/ethos/Bandara05, added-at = {2022-04-05T00:00:00.000+0200}, author = {Bandara, Arosha K.}, biburl = {https://www.bibsonomy.org/bibtex/2b41c4586a125f51f7c1f0133ddd6cc0d/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.421913}, interhash = {534c5f2e3dd47f48ac5b62e4db2d918f}, intrahash = {b41c4586a125f51f7c1f0133ddd6cc0d}, keywords = {dblp}, note = {British Library, EThOS}, school = {Imperial College London, UK}, timestamp = {2024-04-09T08:53:59.000+0200}, title = {A formal approach to analysis and refinement of policies.}, year = 2005 }