Categorical foundations for structured specifications in Z
Work
Year: 2015
Type: article
Source: Formal Aspects of Computing
Institutions National University of Río Cuarto, Consejo Nacional de Investigaciones Científicas y Técnicas, University of Buenos Aires, McMaster University
Cites: 36
Cited by: 7
Related to: 10
FWCI: 0.295
Citation percentile (by year/subfield): 83.57
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green