produzido em
- https://brcris.ibict.br/individual/cour_b0e7d86a-b179-4e20-9f09-25d648efa7ab
- CIÊNCIA DA COMPUTAÇÃO Programa de Pós-Graduação
Verificação da Conformidade entre Código Fonte Java e Especificação Formal JML
Documento
- Visão geral
- Pesquisas
- Identidade
- Ver todos
Visão geral
tipo
- master thesis
autores
data de publicação
- 2013-01-01
prêmio patrocinado pela
- UNIVERSIDADE FEDERAL DE CAMPINA GRANDE Organização