Institution-Based Semantics for MOF and QVT-Relations (Q5166659)
From MaRDI portal
scientific article; zbMATH DE number 6314087
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Institution-Based Semantics for MOF and QVT-Relations |
scientific article; zbMATH DE number 6314087 |
Statements
Institution-Based Semantics for MOF and QVT-Relations (English)
0 references
8 July 2014
0 references
MOF
0 references
QVT-relations
0 references
formal semantics
0 references
theory of institutions
0 references
verification
0 references
