Springer
T. Maragria , B. Steffen
Lecture Notes in Computer Science
International Symposium on Leveraging Applications of Formal Methods
Computer Security

van der Torre, L., Lankhorst, M. M., ter Doest, H., Campschroer, J., & Arbab, F. (2006). Landscape Maps for Enterprise Architectures. In T. Maragria & B. Steffen (Eds.), Proceedings of International Symposium on Leveraging Applications of Formal Methods 2006 (1) (pp. 42–56). Springer.