Andries Stam, Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Leendert W. N. van der Torre. Using XML Transformations for Enterprise Architectures. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers. Volume 4313 of Lecture Notes in Computer Science, pages 42-56, Springer, 2004. [doi]
Abstract is missing.