Estatísticas
Total de visitas
| Visualizações | |
|---|---|
| Using ... | 193 |
Total de visitas por mês
| Dezembro 2025 | Janeiro 2026 | Fevereiro 2026 | Março 2026 | Abril 2026 | Maio 2026 | Junho 2026 | |
|---|---|---|---|---|---|---|---|
| Using ... | 1 | 8 | 2 | 14 | 14 | 20 | 3 |
Download de arquivos
| Visualizações | |
|---|---|
| CafeOBJMechaniseRefactoringProofs.pdf | 45 |
Ranking de visitas por países
| Visualizações | |
|---|---|
| Estados Unidos | 64 |
| Brasil | 41 |
| China | 13 |
| Japão | 5 |
| Argentina | 4 |
| Iraque | 4 |
| Bangladesh | 3 |
| Chile | 3 |
| Equador | 3 |
| Índia | 3 |
Ranking de visitas por cidades
| Visualizações | |
|---|---|
| Curitiba | 6 |
| Nanjing | 5 |
| San Ramon | 5 |
| Beijing | 4 |
| Costa Mesa | 4 |
| Aracaju | 3 |
| Englewood | 3 |
| Tokyo | 3 |
| Ashburn | 2 |
| Buffalo | 2 |