Statistics for USIMPL: An Extension of Isabelle/UTP with Simpl-like Control Flow
Total visits
| views | |
|---|---|
| USIMPL: An Extension of Isabelle/UTP with Simpl-like Control Flow | 410 |
Total visits per month
| views | |
|---|---|
| August 2024 | 1 |
| September 2024 | 0 |
| October 2024 | 1 |
| November 2024 | 0 |
| December 2024 | 0 |
| January 2025 | 4 |
| February 2025 | 0 |
File Visits
| views | |
|---|---|
| Bockenek_JA_T_2017.pdf | 318 |
Top country views
| views | |
|---|---|
| United States | 255 |
| China | 29 |
| France | 22 |
| Germany | 18 |
| United Kingdom | 6 |
| Hong Kong SAR China | 5 |
| South Korea | 5 |
| Russia | 4 |
| Sweden | 4 |
| Singapore | 4 |
| Australia | 3 |
| Ireland | 3 |
| Philippines | 3 |
| Spain | 2 |
| Finland | 2 |
| Italy | 2 |
| Netherlands | 2 |
| Turkey | 2 |
| Vietnam | 2 |
| Canada | 1 |
| Switzerland | 1 |
| Algeria | 1 |
| Japan | 1 |
| Mexico | 1 |
| Malaysia | 1 |
| Panama | 1 |
Top city views
| views | |
|---|---|
| Blacksburg | 49 |
| Ashburn | 44 |
| Reston | 32 |
| Redwood City | 14 |
| Boardman | 6 |
| Chongqing | 6 |
| Gaithersburg | 5 |
| Central | 4 |
| Germantown | 4 |
| Mountain View | 4 |
| Singapore | 4 |
| Ann Arbor | 3 |
| Bellevue | 3 |
| Melbourne | 3 |
| Old Bridge | 3 |
| Quezon City | 3 |
| Seongnam | 3 |
| Tempe | 3 |
| Tianjin | 3 |
| Balingen | 2 |
| Beijing | 2 |
| Brooklyn | 2 |
| Castro Valley | 2 |
| Des Moines | 2 |
| Dublin | 2 |
| Hanoi | 2 |
| Miami | 2 |
| Minneapolis | 2 |
| Paris | 2 |
| Plymouth | 2 |
| Raleigh | 2 |
| Seattle | 2 |
| Southend | 2 |
| Waynesboro | 2 |
| York | 2 |
| Allen | 1 |
| Anchorage | 1 |
| Bentonville | 1 |
| Bethlehem | 1 |
| Cary | 1 |
| Chantilly | 1 |
| Chester | 1 |
| Concord | 1 |
| Daejeon | 1 |
| Edison | 1 |
| Edjeleh | 1 |
| Elâzığ | 1 |
| Granada | 1 |
| Hangzhou | 1 |
| Houston | 1 |
| Irvine | 1 |
| Kuban | 1 |
| Las Vegas | 1 |
| Lecco | 1 |
| Limbach-Oberfrohna | 1 |
| London | 1 |
| Long Island City | 1 |
| Los Angeles | 1 |
| Ludwigshafen am Rhein | 1 |
| Lynchburg | 1 |
| Madrid | 1 |
| Milan | 1 |
| Montréal | 1 |
| Nanjing | 1 |
| New Haven | 1 |
| Newport News | 1 |
| Nijmegen | 1 |
| Overland Park | 1 |
| Panama City | 1 |
| Petaling Jaya | 1 |
| Providence | 1 |
| Ruther Glen | 1 |
| San Francisco | 1 |
| Shenzhen | 1 |
| Somerville | 1 |
| The Hague | 1 |
| Umeå | 1 |
| Urbana | 1 |
| Vienna | 1 |
| Walnut | 1 |
| Westborough | 1 |
| Winchester | 1 |
| Winston Salem | 1 |
| Woodbridge | 1 |
| Zurich | 1 |