Estatísticas para Towards a Formally Verified Space Mission Software using SPARK
Total de visitas
| views | |
|---|---|
| Towards a Formally Verified Space Mission Software using SPARK | 81 |
Total de visitas por mês
| views | |
|---|---|
| agosto 2025 | 0 |
| setembro 2025 | 0 |
| outubro 2025 | 0 |
| novembro 2025 | 0 |
| dezembro 2025 | 0 |
| janeiro 2026 | 0 |
| fevereiro 2026 | 1 |
Downloads
| views | |
|---|---|
| 7028_14915.pdf | 253 |
Top de consultas por país
| views | |
|---|---|
| Portugal | 28 |
| Estados Unidos | 11 |
| Reino Unido | 6 |
| França | 5 |
| Brasil | 3 |
| Alemanha | 3 |
| Irlanda | 3 |
| Índia | 3 |
| Canadá | 2 |
| China | 2 |
| Israel | 2 |
| Chile | 1 |
| Espanha | 1 |
| Finlândia | 1 |
| Indonésia | 1 |
| Irão | 1 |
| Japão | 1 |
| Marrocos | 1 |
| Moçambique | 1 |
| Países Baixos | 1 |
| Roménia | 1 |
| Turquia | 1 |
Top de consultas por cidade
| views | |
|---|---|
| Ermesinde | 1 |