GGasCT: Bringing Formal Methods to the Computational Thinking
Documento
- Visão geral
- Pesquisas
- Identidade
- Ver todos
Visão geral
orientado por
produzido em
- https://brcris.ibict.br/individual/cour_13f77be4-daa1-4da3-950a-86d11e3adcc0
- Computer Science Programa de Pós-Graduação
tipo
- master thesis
autores
data de publicação
- 2020-01-01
prêmio patrocinado pela
- Universidade Federal de Pelotas Organização