Refinement in hybridised institutions

Citation:
Madeira A, Martins MA, Barbosa LS, Hennicker R.  2015.  Refinement in hybridised institutions. Formal Aspects of Computing . 27(2):375-395.

Citation Key:

MMBH14
PreviewAttachmentSize
mmbh14.pdf704.12 KB