A Lightweight Approach for the Semantic Validation of Model Refinements

Main Authors: Pons, Claudia, García, Diego
Format: Artículo
Language: English
Published: 2008
Series: Electronic Notes in Theoretical Computer Science
vol. 220, no. 1
Subjects:
Online Access: http://sedici.unlp.edu.ar/handle/10915/84102