Institutions for Behaviour Specification. / Fiadeiro, José Luiz; Costa, José Félix.

COMPASS/ADT. Vol. 906 Springer, 1995. p. 273-289 (Lecture Notes in Computer Science).

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

Published
Original languageUndefined/Unknown
Title of host publicationCOMPASS/ADT
PublisherSpringer
Pages273-289
Number of pages17
Volume906
Publication statusPublished - 1995

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

ID: 7241035