Statistics for Event-B and Cloud Provers
Total visits
| views | |
|---|---|
| Event-B and Cloud Provers | 142 |
Total visits per month
| views | |
|---|---|
| January 2022 | 0 |
| February 2022 | 4 |
| March 2022 | 0 |
| April 2022 | 5 |
| May 2022 | 5 |
| June 2022 | 1 |
| July 2022 | 0 |
File Visits
| views | |
|---|---|
| 42 |
Top country views
| views | |
|---|---|
| China | 39 |
| Sweden | 17 |
| France | 16 |
| Ghana | 16 |
| United States | 15 |
| Germany | 9 |
| Ukraine | 7 |
| Algeria | 6 |
| Finland | 4 |
| Kenya | 2 |
| Netherlands | 2 |
| Belarus | 1 |
| Canada | 1 |
| United Kingdom | 1 |
| Japan | 1 |
| Liberia | 1 |
| Russia | 1 |
| South Africa | 1 |
Top city views
| views | |
|---|---|
| Nanjing | 17 |
| Guangzhou | 8 |
| Shanghai | 8 |
| Eskilstuna | 7 |
| Jacksonville | 6 |
| Accra (Ayawaso) | 5 |
| Aix-en-Provence (Les Milles) | 5 |
| Märsta | 5 |
| Des Moines | 4 |
| Falkenstein | 4 |
| Tuusula | 4 |
| Wuhan | 4 |
| Accra (Osu Klottey) | 2 |
| Mombasa | 2 |
| Stockholm (Norrmalm) | 2 |
| Uppsala (Kungsängen) | 2 |
| Amsterdam | 1 |
| Berekuso | 1 |
| Boardman | 1 |
| Brest | 1 |
| Chicago | 1 |
| Daqing | 1 |
| Dearborn | 1 |
| Groningen | 1 |
| Johannesburg | 1 |
| Kunming | 1 |
| Kurayoshi | 1 |
| Limburg an der Lahn | 1 |
| Monrovia | 1 |
| Montréal | 1 |
| Mountain View | 1 |
| Munich (Thalkirchen-Obersendling-Forstenried-Fürstenried-Solln) | 1 |
| Paris | 1 |
| Seattle | 1 |
| Stockholm | 1 |
| Tema | 1 |