A logic for n-dimensional hierarchical refinement

Citation:
Madeira A, Martins MA, Barbosa LS.  2016.  A logic for n-dimensional hierarchical refinement. Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015. 209:40–56.

Tertiary Title:

EPTCS

Notes:

n/a

Citation Key:

MMB16
PreviewAttachmentSize
2.pdf479.06 KB