@inproceedings{lowry-pressburger-rosu-2001-ase, author = "Lowry, Michael and Pressburger, Thomas and Rosu, Grigore", publisher = "IEEE", doi = "http://dx.doi.org/10.1109/ASE.2001.989793", title = "Certifying Domain-Specific Policies", booktitle = "Proceedings of 16th IEEE International Conference. Automated Software Engineering (ASE'01)", month = "May", year = "2001", pages = "81-90" }