A Categorical Approach to Structuring and Promoting Z Specifications
| Title | A Categorical Approach to Structuring and Promoting Z Specifications |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Castro, PF, Aguirre, N, López Pombo, CG, Maibaum, TSE |
| Conference Name | 9th International Symposium on Formal Aspects of Component Software (FACS 2012) |
| Date Published | 09/2012 |
| Publisher | Springer |
| Conference Location | Mountain View, USA |
Work Package:
WP5
