Estatísticas para Contribuições para o processo de verificação de satisfatibilidade módulo teoria em Event-B
Total de visitas
| views | |
|---|---|
| Contribuições para o processo de verificação de satisfatibilidade módulo teoria em Event-B | 142 |
Total visitas por mês
| views | |
|---|---|
| fevereiro 2025 | 7 |
| março 2025 | 4 |
| abril 2025 | 2 |
| maio 2025 | 0 |
| junho 2025 | 0 |
| julho 2025 | 0 |
| agosto 2025 | 0 |
Visitas Arquivos
| views | |
|---|---|
| PauloEwertonGomesFragoso_DISSERT.pdf | 258 |
| PauloEwertonGomesFragoso_DISSERT.pdf(legacy) | 155 |
| 16900 | 48 |
Maiores visualizações por país
| views | |
|---|---|
| Estados Unidos | 53 |
| Brasil | 34 |
| China | 15 |
| Alemanha | 14 |
| Irlanda | 8 |
| Singapura | 5 |
| Rússia | 3 |
| Canadá | 2 |
| França | 2 |
| Romênia | 2 |
| Bélgica | 1 |
| Dinamarca | 1 |
| Finlândia | 1 |
| Reino Unido | 1 |
| Hong Kong, RAE da China | 1 |
| Índia | 1 |
| Japão | 1 |
| Coreia do Sul | 1 |
| Países Baixos | 1 |
| Ucrânia | 1 |
Maiores visualizações por cidade
| views | |
|---|---|
| Manaus | 9 |
| Dublin | 7 |
| Itaperuna | 7 |
| Des Moines | 5 |
| Singapore | 4 |
| Beijing | 3 |
| Zhengzhou | 3 |
| Anaheim | 2 |
| Ashburn | 2 |
| Cajazeiras | 2 |
| Hangzhou | 2 |
| Natal | 2 |
| São Paulo | 2 |
| Aptos | 1 |
| Belo Horizonte | 1 |
| Chillicothe | 1 |
| Clermont-Ferrand | 1 |
| Contagem | 1 |
| Curitiba | 1 |
| Delhi | 1 |
| Guarulhos | 1 |
| Harbin | 1 |
| Kharkiv | 1 |
| London | 1 |
| Los Angeles | 1 |
| Ludwigshafen am Rhein | 1 |
| Mossoro | 1 |
| Osasco | 1 |
| Salgado de Sao Felix | 1 |
| San Mateo | 1 |
| Shanghai | 1 |
| Xian | 1 |
| Xinxiang | 1 |