![](/img/cover-not-exists.png)
Categorical foundations for structured specifications in\({\mathsf{Z}}\)
Castro, Pablo F., Aguirre, Nazareno, Pombo, Carlos L., Maibaum, T. S. E.Volume:
27
Language:
english
Journal:
Formal Aspects of Computing
DOI:
10.1007/s00165-015-0336-0
Date:
November, 2015
File:
PDF, 2.23 MB
english, 2015