Navegação XXXI Salão de Iniciação Científica - 2019 por Assunto "Teoria da computação"
Resultados 1-3 de 3
-
Análise estática de programas com Coq
(2019) [Resumo publicado em evento] -
Editor Grafico para a ferramenta Verigraph
(2019) [Resumo publicado em evento] -
Geração automática de regras de seleção para problemas de balanceamento de linhas de montagem heterogêneas
(2019) [Resumo publicado em evento]