Categorical Foundations for Structured Specifications in Z
| Title | Categorical Foundations for Structured Specifications in Z |
| Publication Type | Journal Article |
| Year of Publication | 2015 |
| Authors | Castro, PF, Aguirre, N, López Pombo, CG, Maibaum, TSE |
| Journal | Formal Aspects of Computing |
| Volume | 27 |
| Pagination | TBD |
Work Package:
WP2
