Pages that link to "Item:Q1138904"
From MaRDI portal
The following pages link to Hierarchical program specification and verification - a many-sorted logical approach (Q1138904):
Displaying 5 items.
- Semantics of algorithmic languages (Q760200) (← links)
- Modularization and abstraction in logic programming (Q1077915) (← links)
- Specifications, models, and implementations of data abstractions (Q1161277) (← links)
- Lax naturality through enrichment (Q1923539) (← links)
- Formal system of definition of data sets as a high-level tool of data extraction (Q5750396) (← links)
