Jorge Figueiredo
Federal University of Campina Grande, 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