Franklin Ramalho
Universidade Federal de Campina Grande, Brazil and Universidade Federal de Pernambuco, Brazil
P. Barbosa, F. Ramalho, J. Figueiredo, A. JĂșnior, A. Costa, L. Gomes: Checking Semantics Equivalence of MDA Transformations in Concurrent Systems /jucs_15_11/checking_semantics_equivalence_of