Estatísticas para Verificação Formal de Programas com SPARK2014
Total de visitas
| views | |
|---|---|
| Verificação Formal de Programas com SPARK2014 | 38 |
Total de visitas por mês
| views | |
|---|---|
| dezembro 2025 | 0 |
| janeiro 2026 | 2 |
| fevereiro 2026 | 1 |
| março 2026 | 0 |
| abril 2026 | 2 |
| maio 2026 | 0 |
| junho 2026 | 0 |
Downloads
| views | |
|---|---|
| DM_PauloAssuncao_2017_MEI.pdf | 135 |
Top de consultas por país
| views | |
|---|---|
| Moçambique | 10 |
| Portugal | 10 |
| Austrália | 3 |
| Estados Unidos | 3 |
| Brasil | 2 |
| Canadá | 2 |
| Argentina | 1 |
| China | 1 |
| Alemanha | 1 |
| Reino Unido | 1 |
| Irão | 1 |
| Filipinas | 1 |
Top de consultas por cidade
| views | |
|---|---|
| Santa Clara | 2 |
| Albufeira | 1 |
| Braga | 1 |
| Glew | 1 |
| Serpa | 1 |