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 | 17/03/2024 02:13 | 8.0 KiB |
2 arquivos exibidos 2 arquivos escondidos |
Fechar |