Statistics for Event-B and Cloud Provers
Total visits
views | |
---|---|
Event-B and Cloud Provers | 148 |
Total visits per month
views | |
---|---|
September 2023 | 1 |
October 2023 | 0 |
November 2023 | 1 |
December 2023 | 0 |
January 2024 | 0 |
February 2024 | 0 |
March 2024 | 2 |
File Visits
views | |
---|---|
Iliasov_A, Stankaitis_P, Adjepon-Yamoah_D and Romanovsky_A_2016_Rodin Platform Why3 plug-in.pdf | 72 |
Top country views
views | |
---|---|
China | 39 |
Ghana | 22 |
Sweden | 17 |
France | 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 |
Berekuso | 4 |
Des Moines | 4 |
Falkenstein | 4 |
Tuusula | 4 |
Wuhan | 4 |
Accra (Osu Klottey) | 2 |
Kumasi | 2 |
Mombasa | 2 |
Stockholm (Norrmalm) | 2 |
Uppsala (Kungsängen) | 2 |
Accra | 1 |
Amsterdam | 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 |