Strategies for Testing and Formalizing Properties of Modern Programming Languages
Documento
- Visão geral
- Pesquisas
- Identidade
- Ver todos
Visão geral
orientado por
produzido em
- https://brcris.ibict.br/individual/cour_3ef07141-a479-4f7f-9298-1e0c0cff8b05
- Computer Science Programa de Pós-Graduação
tipo
- doctoral thesis
autores
data de publicação
- 2019-01-01
prêmio patrocinado pela
- Universidade Federal de Pelotas Organização