Publications

2000

[bibtex]
Jan B. de Meer, Erika Abraham. Formal Methods for Reflective System Specification. Formale Beschreibungstechniken für verteilte Systeme, pages 51–57, Shaker Verlag, 2000.