Navegação Ciências Exatas e da Terra 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]