Institutions for Behaviour Specification

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

Name	Lecture Notes in Computer Science
Publisher	Springer

Cite this

@inproceedings{53bc34663c3241ae95820e0a141d3bec,

title = "Institutions for Behaviour Specification",

author = "Fiadeiro, {Jos{\'e} Luiz} and Costa, {Jos{\'e} F{\'e}lix}",

year = "1995",

language = "Undefined/Unknown",

volume = "906",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "273--289",

booktitle = "COMPASS/ADT",

}