TI - Uma abordagem para representação de resultados formais na UML PY - 2017 AU - Pereira, Vinícius AU - Delamaro, Márcio Eduardo UR - http://www.teses.usp.br/teses/disponiveis/55/55134/tde-26092017-160607/ PP - São Carlos ER -