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 proceeding › Conference contribution
Original language | Undefined/Unknown |
---|---|
Title of host publication | Theory and Formal Methods |
Publisher | Springer |
Pages | 126-147 |
Number of pages | 22 |
Publication status | Published - 1993 |
Name | Workshops in Computing |
---|---|
Publisher | Springer |
ID: 7240931