Close | |
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++
List of files deposited in: |
download at once all the files listed below within a .zip file |
Name | Last modified | Size |
:: publicacao_FA provisoria.pdf | 19/01/2021 11:20 | 2.5 MiB |
:: thisInformationItemHomePage.html | 19/10/2024 17:26 | 7.9 KiB |
2 displayed files 2 hidden files |
Close |