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: |
baixar de uma só vez todos os arquivos listados abaixo dentro um arquivo .zip |
Nome | Última modificação | Tamanho |
:: publicacao_FA provisoria.pdf | 19/01/2021 11:20 | 2.5 MiB |
:: thisInformationItemHomePage.html | 19/03/2024 09:34 | 8.4 KiB |
2 arquivos exibidos 2 arquivos escondidos |
Fechar |