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 | 26/06/2024 08:29 | 7.9 KiB |
2 arquivos exibidos 2 arquivos escondidos |
Fechar |