Uma abordagem para representação de resultados formais na UML (2017)
Unidade: ICMCSubjects: UML, SEMÂNTICA FORMAL, PROGRAMAÇÃO ORIENTADA A OBJETOS, DESENVOLVIMENTO DE SOFTWARE
ABNT
PEREIRA, Vinícius. Uma abordagem para representação de resultados formais na UML. 2017. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2017. Disponível em: https://teses.usp.br/teses/disponiveis/55/55134/tde-26092017-160607/. Acesso em: 23 abr. 2026.APA
Pereira, V. (2017). Uma abordagem para representação de resultados formais na UML (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de https://teses.usp.br/teses/disponiveis/55/55134/tde-26092017-160607/NLM
Pereira V. Uma abordagem para representação de resultados formais na UML [Internet]. 2017 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/55/55134/tde-26092017-160607/Vancouver
Pereira V. Uma abordagem para representação de resultados formais na UML [Internet]. 2017 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/55/55134/tde-26092017-160607/


