Formal validation of automated policy re
✍
João Porto de Albuquerque; Heiko Krumm; Paulo Lício de Geus
📂
Article
📅
2010
🏛
Springer-Verlag
🌐
English
⚖ 903 KB