A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MELO, Ana Cristina Vieira de e NUNES, Paulo Roberto de Araújo França e XAVIER, Kleber da Silva. Towards verification and testing of Java programs. 2008, Anais.. New York: ACM, 2008. Disponível em: https://doi.org/10.1145/1363686.1363858. Acesso em: 10 nov. 2025.
APA
Melo, A. C. V. de, Nunes, P. R. de A. F., & Xavier, K. da S. (2008). Towards verification and testing of Java programs. In Proceedings. New York: ACM. doi:10.1145/1363686.1363858
NLM
Melo ACV de, Nunes PR de AF, Xavier K da S. Towards verification and testing of Java programs [Internet]. Proceedings. 2008 ;[citado 2025 nov. 10 ] Available from: https://doi.org/10.1145/1363686.1363858
Vancouver
Melo ACV de, Nunes PR de AF, Xavier K da S. Towards verification and testing of Java programs [Internet]. Proceedings. 2008 ;[citado 2025 nov. 10 ] Available from: https://doi.org/10.1145/1363686.1363858
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ALMEIDA, Cristiano das Neves et al. Programação orientada a objetos para desenvolvimento e integração de um modelo hidrológico distribuído chuva-vazão a um Sistema de Informações Geográficas Livre. RBRH : Revista Brasileira de Recursos Hídricos, v. 13, n. abr./ju 2008, p. 151-163, 2008Tradução . . Disponível em: http://www.abrh.org.br/SGCv3/index.php?PUB=1&ID=16&SUMARIO=204&ST=programacao_orientada_a_objetos_para_desenvolvimento_e_integracao_de_um_modelo_hidrologico_distribuido_chuva_vazao_a_um_sistema_de_informacoes_geograficas_livre. Acesso em: 10 nov. 2025.
APA
Almeida, C. das N., Silans, A. M. B. P. de, Wendland, E. C., & Roehrig, J. (2008). Programação orientada a objetos para desenvolvimento e integração de um modelo hidrológico distribuído chuva-vazão a um Sistema de Informações Geográficas Livre. RBRH : Revista Brasileira de Recursos Hídricos, 13( abr./ju 2008), 151-163. Recuperado de http://www.abrh.org.br/SGCv3/index.php?PUB=1&ID=16&SUMARIO=204&ST=programacao_orientada_a_objetos_para_desenvolvimento_e_integracao_de_um_modelo_hidrologico_distribuido_chuva_vazao_a_um_sistema_de_informacoes_geograficas_livre
NLM
Almeida C das N, Silans AMBP de, Wendland EC, Roehrig J. Programação orientada a objetos para desenvolvimento e integração de um modelo hidrológico distribuído chuva-vazão a um Sistema de Informações Geográficas Livre [Internet]. RBRH : Revista Brasileira de Recursos Hídricos. 2008 ; 13( abr./ju 2008): 151-163.[citado 2025 nov. 10 ] Available from: http://www.abrh.org.br/SGCv3/index.php?PUB=1&ID=16&SUMARIO=204&ST=programacao_orientada_a_objetos_para_desenvolvimento_e_integracao_de_um_modelo_hidrologico_distribuido_chuva_vazao_a_um_sistema_de_informacoes_geograficas_livre
Vancouver
Almeida C das N, Silans AMBP de, Wendland EC, Roehrig J. Programação orientada a objetos para desenvolvimento e integração de um modelo hidrológico distribuído chuva-vazão a um Sistema de Informações Geográficas Livre [Internet]. RBRH : Revista Brasileira de Recursos Hídricos. 2008 ; 13( abr./ju 2008): 151-163.[citado 2025 nov. 10 ] Available from: http://www.abrh.org.br/SGCv3/index.php?PUB=1&ID=16&SUMARIO=204&ST=programacao_orientada_a_objetos_para_desenvolvimento_e_integracao_de_um_modelo_hidrologico_distribuido_chuva_vazao_a_um_sistema_de_informacoes_geograficas_livre
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
XAVIER, Kleber da Silva e HANAZUMI , Simone e MELO, Ana Cristina Vieira de. Using formal verification to reduce test space of fault-tolerant programs. 2008, Anais.. Piscataway: IEEE, 2008. Disponível em: https://doi.org/10.1109/SEFM.2008.31. Acesso em: 10 nov. 2025.
APA
Xavier, K. da S., Hanazumi , S., & Melo, A. C. V. de. (2008). Using formal verification to reduce test space of fault-tolerant programs. In Proceedings. Piscataway: IEEE. doi:10.1109/SEFM.2008.31
NLM
Xavier K da S, Hanazumi S, Melo ACV de. Using formal verification to reduce test space of fault-tolerant programs [Internet]. Proceedings. 2008 ;[citado 2025 nov. 10 ] Available from: https://doi.org/10.1109/SEFM.2008.31
Vancouver
Xavier K da S, Hanazumi S, Melo ACV de. Using formal verification to reduce test space of fault-tolerant programs [Internet]. Proceedings. 2008 ;[citado 2025 nov. 10 ] Available from: https://doi.org/10.1109/SEFM.2008.31
