Click on a search word OR use the drop-down choices to search for a paper.
2015
Categorical foundations for structured specifications in Z Journal Article
In: Formal Aspects of Computing, vol. 27, no. 5-6, pp. 831–865, 2015.
Click on a search word OR use the drop-down choices to search for a paper.
Castro, Pablo F; Aguirre, Nazareno; Pombo, Carlos L; Maibaum, TSE
Categorical foundations for structured specifications in Z Journal Article
In: Formal Aspects of Computing, vol. 27, no. 5-6, pp. 831–865, 2015.
BibTeX | Tags: category theory, heterogeneous specifications, system specification, system verification, Z notation
@article{castro2015categorical,
title = {Categorical foundations for structured specifications in Z},
author = {Castro, Pablo F and Aguirre, Nazareno and Pombo, Carlos L and Maibaum, TSE},
year = {2015},
date = {2015-01-01},
journal = {Formal Aspects of Computing},
volume = {27},
number = {5-6},
pages = {831--865},
publisher = {Springer},
keywords = {category theory, heterogeneous specifications, system specification, system verification, Z notation},
pubstate = {published},
tppubtype = {article}
}