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

Stam, A., Jacob, J., de Boer, F., Bonsangue, M., & van der Torre, L. (2006). Using XML Transformations 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.