Manuel Koch, Francesco Parisi-Presicce. Visual Specifications of Policies and Their Verification. In Mauro Pezzè, editor, Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Volume 2621 of Lecture Notes in Computer Science, pages 278-293, Springer, 2003. [doi]
Abstract is missing.