Pages that link to "Item:Q4856663"
From MaRDI portal
The following pages link to Compositionality and compatibility of parameterization and parameter passing in specification languages (Q4856663):
Displaying 3 items.
- A characterization of passing compatibility for parameterized specifications (Q1090101) (← links)
- Composition and refinement of specifications of parameterized data types (Q2844826) (← links)
- Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control a la Spec# (Q3400952) (← links)