Fingerprint
Dive into the research topics of 'Parameterized theories and views in full Maude 2.0'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Parameterized theories and views in full Maude 2.0
Francisco Durán, José Meseguer
Research output: Contribution to journal › Conference article › peer-review