Journal article
Refinement via Consistency Checking in MDA
Authors
Paige RF; Kolovos DS; Polack FAC
Journal
Electronic Notes in Theoretical Computer Science, Vol. 137, , pp. 151–161
Publication Date
July 21, 2005
DOI
10.1016/j.entcs.2005.04.029
ISSN
1571-0661