Um estudo sobre teste versus verificação formal de programas Java
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Engenharia de Software
-
Linguagens de Programação
-
Teste de Software
-
Verificação Formal
-
engenharia de software
-
teste de software
-
verificação formal
Identidade
identificador BrCris
-
110954163d531639faba0db8d3f18ac3
identificador Capes
-
200412833002010176P0-Publication
identificador Oasisbr
-
USP_bb0e7a1e4a37e572c99c57da24cfd8fe