Técnicas para o Uso do Cálculo de Hoare em PCC
Documento
- Visão geral
- Pesquisas
- Identidade
- Ver todos
Visão geral
produzido em
- https://brcris.ibict.br/individual/cour_423c3c3e-6782-43ba-85e7-d5847b906e8a
- INFORMÁTICA Programa de Pós-Graduação
tipo
- master thesis
autores
data de publicação
- 2003-01-01