Generalising Interpretations between Theories in the context of (pi-) Institutions. / Fiadeiro, José Luiz; Maibaum, T. S. E.

Theory and Formal Methods. Springer, 1993. p. 126-147 (Workshops in Computing).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published
Original languageUndefined/Unknown
Title of host publicationTheory and Formal Methods
PublisherSpringer
Pages126-147
Number of pages22
Publication statusPublished - 1993

Publication series

NameWorkshops in Computing
PublisherSpringer

ID: 7240931