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

van der Torre, L.W.N, 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.