Pages that link to "Item:Q2999313"
From MaRDI portal
The following pages link to A Type-Theoretic Framework for Certified Model Transformations (Q2999313):
Displayed 1 item.
The following pages link to A Type-Theoretic Framework for Certified Model Transformations (Q2999313):
Displayed 1 item.