Software Engineering
Full Professor (email)
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
Preview | Attachment | Size |
| 2.pdf | 479.06 KB |