Teste e verificação formal do comportamento excepcional de programas Java (2014)
Unidade: IMEAssunto: ENGENHARIA DE PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARTINS, Alexandre Locci. Teste e verificação formal do comportamento excepcional de programas Java. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106. Acesso em: 22 ago. 2024.APA
Martins, A. L. (2014). Teste e verificação formal do comportamento excepcional de programas Java (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106NLM
Martins AL. Teste e verificação formal do comportamento excepcional de programas Java [Internet]. 2014 ;[citado 2024 ago. 22 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106Vancouver
Martins AL. Teste e verificação formal do comportamento excepcional de programas Java [Internet]. 2014 ;[citado 2024 ago. 22 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106
