@inproceedings{inproceedingsc9e57d59, title = {Mapping formal results back to uml semi-formal model}, author = {Pereira, Vinícius and Baresi, Luciano and Delamaro, Márcio Eduardo}, year = {2015}, doi = {10.5220/0005372603200329}, publisher = {SciTePress}, booktitle = {International Conference on Enterprise Information Systems - ICEIS 2015} }