Institutions for Behaviour Specification

José Luiz Fiadeiro, José Félix Costa

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

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

Cite this