| 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 | 18/05/2024 12:35 | 8.3 KiB |
|
2 displayed files 2 hidden files |
| Close |