Um estudo sobre teste versus verificação formal de programas Java (2004)
Unidade: IMEAssunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRUDENTE, Leandro César. Um estudo sobre teste versus verificação formal de programas Java. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-121325/. Acesso em: 17 nov. 2024.APA
Prudente, L. C. (2004). Um estudo sobre teste versus verificação formal de programas Java (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-121325/NLM
Prudente LC. Um estudo sobre teste versus verificação formal de programas Java [Internet]. 2004 ;[citado 2024 nov. 17 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-121325/Vancouver
Prudente LC. Um estudo sobre teste versus verificação formal de programas Java [Internet]. 2004 ;[citado 2024 nov. 17 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-121325/
