Browsing by Author Felipe Rodrigues Monteiro Sousa
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Type |
|---|---|---|---|
| 31-Jul-2013 | Verificação Formal de Programas C++ que Usam o Framework Multi-Plataforma QT | Felipe Rodrigues Monteiro Sousa | Relatório de Pesquisa |