Click on a search word OR use the drop-down choices to search for a paper.

Show all

2015

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