Pages that link to "Item:Q903494"
From MaRDI portal
The following pages link to Categorical foundations for structured specifications in \(\mathsf{Z}\) (Q903494):
Displaying 9 items.
- A categorical study on the finiteness of specifications (Q975404) (← links)
- Heterogeneous notations for pure formal method integration (Q1293886) (← links)
- Structured theories and institutions (Q1884906) (← links)
- Specifying with syntactic theory functors (Q2173439) (← links)
- Structure-preserving diagram operators (Q2237343) (← links)
- The Foundations of Specification (Q3374096) (← links)
- Categorical concepts for parameterized partial specifications (Q4856659) (← links)
- Building Specifications in the Event-B Institution (Q5060190) (← links)
- Algebraic Methodology and Software Technology (Q5313012) (← links)