Generalising Interpretations between Theories in the context of (pi-) Institutions

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Name	Workshops in Computing
Publisher	Springer

Cite this

@inproceedings{fd630b9a0d6c4861ba20eee54b0d013b,

title = "Generalising Interpretations between Theories in the context of (pi-) Institutions",

author = "Fiadeiro, \{Jos{\'e} Luiz\} and Maibaum, \{T. S. E.\}",

year = "1993",

language = "Undefined/Unknown",

series = "Workshops in Computing",

publisher = "Springer",

pages = "126--147",

booktitle = "Theory and Formal Methods",

}