Artigo em ata de conferência Acesso aberto Revisto por pares

Implementing QVT-R bidirectional model transformations using alloy