Statistics for Rodin Platform Why3 plug-in
Total visits
| views | |
|---|---|
| Rodin Platform Why3 plug-in | 108 |
Total visits per month
| views | |
|---|---|
| October 2023 | 0 |
| November 2023 | 1 |
| December 2023 | 0 |
| January 2024 | 1 |
| February 2024 | 1 |
| March 2024 | 1 |
| April 2024 | 0 |
File Visits
| views | |
|---|---|
| Iliasov_A, Stankaitis_P, Adjepon-Yamoah_D and Romanovsky_A_2016_Rodin Platform Why3 plug-in.pdf | 135 |
Top country views
| views | |
|---|---|
| China | 23 |
| Ghana | 16 |
| United States | 16 |
| France | 12 |
| Russia | 9 |
| Germany | 7 |
| Ukraine | 7 |
| Sweden | 5 |
| Finland | 4 |
| United Kingdom | 2 |
| Netherlands | 2 |
| Canada | 1 |
| Egypt | 1 |
| Ireland | 1 |
| Israel | 1 |
| Japan | 1 |
Top city views
| views | |
|---|---|
| Moscow | 7 |
| Dearborn | 6 |
| Guangzhou | 6 |
| Jacksonville | 6 |
| Falkenstein | 4 |
| Nanjing | 4 |
| Tuusula | 4 |
| Zhengzhou | 4 |
| Accra | 3 |
| Berekuso | 3 |
| Shanghai | 3 |
| Stockholm (Norrmalm) | 3 |
| Buffalo | 2 |
| Groningen | 2 |
| Paris | 2 |
| Wuhan | 2 |
| Accra (Kpeshie) | 1 |
| Accra (Osu Klottey) | 1 |
| Alexandria | 1 |
| Beijing | 1 |
| Cashel | 1 |
| Chiyoda | 1 |
| Daqing | 1 |
| Eskilstuna | 1 |
| Hefei | 1 |
| Holon | 1 |
| Limburg an der Lahn | 1 |
| Los Angeles | 1 |
| Montréal | 1 |
| Provins | 1 |
| Rostov-on-Don | 1 |
| Uppsala (Kungsängen) | 1 |
| Wilmington | 1 |