Estatísticas
Total de visitas
| Visualizações | |
|---|---|
| Using ... | 232 |
Total de visitas por mês
| Março 2026 | Abril 2026 | Maio 2026 | Junho 2026 | Julho 2026 | Agosto 2026 | Setembro 2026 | |
|---|---|---|---|---|---|---|---|
| Using ... | 14 | 14 | 20 | 4 | 21 | 17 | 0 |
Download de arquivos
| Visualizações | |
|---|---|
| CafeOBJMechaniseRefactoringProofs.pdf | 139 |
Ranking de visitas por países
| Visualizações | |
|---|---|
| Estados Unidos | 83 |
| Brasil | 42 |
| China | 17 |
| Japão | 6 |
| Argentina | 5 |
| Índia | 4 |
| Iraque | 4 |
| México | 4 |
| Bangladesh | 3 |
| Chile | 3 |
Ranking de visitas por cidades
| Visualizações | |
|---|---|
| Curitiba | 6 |
| Nanjing | 5 |
| San Ramon | 5 |
| Beijing | 4 |
| Costa Mesa | 4 |
| Aracaju | 3 |
| Dearborn | 3 |
| Englewood | 3 |
| Tokyo | 3 |
| Ann Arbor | 2 |