Verification and validation of declarative model-to-model transformations through invariants

Biblos-e Archivo/Manakin Repository

Files in this item

Thumbnail
Share

Delicious Save this on Delicious

Citations

This item appears in the following Collection(s)