SILVA, D. A. d. (2006). Geração de objetivos de teste de sistemas reativos baseada na técnica de verificação de modelos CTL.
Referência de acordo com a norma ChicagoSILVA, Daniel Aguiar da. Geração De Objetivos De Teste De Sistemas Reativos Baseada Na Técnica De Verificação De Modelos CTL. 2006.
Referência de acordo com a norma MLASILVA, Daniel Aguiar da. Geração De Objetivos De Teste De Sistemas Reativos Baseada Na Técnica De Verificação De Modelos CTL. 2006.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma, para gerenciar as citações recomenda-se a utilização do software Zotero
, que permite o upload automático das referências do Oasisbr.