Login / Signup

A Lightweight Approach for the Semantic Validation of Model Refinements.

Claudia PonsDiego García
Published in: Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases