Fechar
Singularity: um método para geração automática de casos de teste unitários baseado em contraexemplos de verificador de modelos para aplicações em C++

Lista de arquivos depositados em:

sid.inpe.br/mtc-m21c/2020/06.08.20.44

baixar de uma só vez todos os arquivos listados abaixo dentro um arquivo .zip
Nome Última modificação Tamanho
baixar
 :: publicacao_FA provisoria.pdf
19/01/2021 11:20 2.5 MiB
baixar
 :: thisInformationItemHomePage.html
17/03/2024 02:13 8.0 KiB 
2 arquivos exibidos
2 arquivos escondidos

Fechar