Manuel Koch, Francesco Parisi-Presicce
Visual Specifications of Policies and Their Verification
FASE, 2003.
@inproceedings{FASE-2003-KochP, author = "Manuel Koch and Francesco Parisi-Presicce", booktitle = "{Proceedings of the Sixth International Conference on Fundamental Approaches to Software Engineering}", doi = "10.1007/3-540-36578-8_20", isbn = "3-540-00899-3", pages = "278--293", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Visual Specifications of Policies and Their Verification}", volume = 2621, year = 2003, }