@inproceedings{inproceedings0ddb6efc,
title   = {From formal results to UML model: a MDA tracing approach},
author = {Pereira, Vinícius and Durelli, Rafael S. and Delamaro, Márcio Eduardo},
year = {2016},
publisher = {SBC},
booktitle   = {Workshop de Visualização, Evolução e Manutenção de Software - VEM}
}