Mihai Codescu; Bruno Langenstein; Christian Maeder; Till Mossakowski
In: K. Breitman; A. Cavalcanti (Hrsg.). Proceedings of the 11th International Conference on Formal Engineering Methods. International Conference on Formal Engineering Methods (ICFEM-2009), December 9-12, Rio de Janeiro, Brazil, Lecture Notes in Computer Science (LNCS), Vol. 5885, Springer, 2009.
