Estatísticas para Constraint-based verification of imperative programs
Total de visitas
| views | |
|---|---|
| Constraint-based verification of imperative programs | 113 |
Total de visitas por mês
| views | |
|---|---|
| março 2026 | 0 |
| abril 2026 | 0 |
| maio 2026 | 0 |
| junho 2026 | 0 |
| julho 2026 | 1 |
| agosto 2026 | 1 |
| setembro 2026 | 0 |
Downloads
| views | |
|---|---|
| Beyene_2011.pdf | 102 |
Top de consultas por país
| views | |
|---|---|
| Estados Unidos | 41 |
| Alemanha | 11 |
| Ucrânia | 10 |
| Rússia | 9 |
| China | 7 |
| Portugal | 6 |
| Países Baixos | 4 |
| Brasil | 3 |
| Vietname | 3 |
| Canadá | 2 |
| Japão | 2 |
| Argentina | 1 |
| Egito | 1 |
| Espanha | 1 |
| União Europeia | 1 |
| Finlândia | 1 |
| França | 1 |
| Reino Unido | 1 |
| Israel | 1 |
| Índia | 1 |
| Irão | 1 |
| Malásia | 1 |
| Panamá | 1 |
| Região desconhecida | 1 |
Top de consultas por cidade
| views | |
|---|---|
| Mykolayiv | 1 |
| New York | 1 |