Estatísticas
Total de visitas
| Visualizações | |
|---|---|
| Using ... | 219 |
Total de visitas por mês
| Fevereiro 2026 | Março 2026 | Abril 2026 | Maio 2026 | Junho 2026 | Julho 2026 | Agosto 2026 | |
|---|---|---|---|---|---|---|---|
| Using ... | 2 | 14 | 14 | 20 | 4 | 21 | 4 |
Download de arquivos
| Visualizações | |
|---|---|
| CafeOBJMechaniseRefactoringProofs.pdf | 54 |
Ranking de visitas por países
| Visualizações | |
|---|---|
| Estados Unidos | 78 |
| Brasil | 41 |
| China | 16 |
| Japão | 6 |
| Argentina | 4 |
| Iraque | 4 |
| Bangladesh | 3 |
| Chile | 3 |
| Alemanha | 3 |
| Equador | 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 |
| Ann Arbor | 2 |
| Ashburn | 2 |