Estatísticas para Linguagem de especificação leve Hoare-separação para java
Total de visitas
| views | |
|---|---|
| Linguagem de especificação leve Hoare-separação para java | 179 |
Total de visitas por mês
| views | |
|---|---|
| outubro 2025 | 1 |
| novembro 2025 | 3 |
| dezembro 2025 | 3 |
| janeiro 2026 | 0 |
| fevereiro 2026 | 0 |
| março 2026 | 0 |
| abril 2026 | 0 |
Downloads
| views | |
|---|---|
| Santos_2010.pdf | 245 |
| TAA0009.pdf | 1 |
| Logo_fd.jpg | 1 |
| Rodriguez_2012.pdf | 1 |
| 910-unmigrated | 1 |
Top de consultas por país
| views | |
|---|---|
| Brasil | 53 |
| Portugal | 47 |
| Estados Unidos | 25 |
| Moçambique | 13 |
| China | 9 |
| Região desconhecida | 7 |
| Alemanha | 3 |
| Angola | 2 |
| Reino Unido | 2 |
| Dinamarca | 1 |
| Equador | 1 |
| União Europeia | 1 |
| França | 1 |
| Guatemala | 1 |
| Índia | 1 |
| Jordânia | 1 |
| Japão | 1 |
| Nova Zelândia | 1 |
| Paquistão | 1 |
| Paraguai | 1 |
| Arábia Saudita | 1 |
| Singapura | 1 |
| Ucrânia | 1 |