Statistik för Incremental Deductive Verification for a subset of the Boogie language
Totalt antal besök
| views | |
|---|---|
| Incremental Deductive Verification for a subset of the Boogie language | 33 |
Totalt antal besök per månad
| views | |
|---|---|
| November 2023 | 0 |
| December 2023 | 0 |
| January 2024 | 0 |
| February 2024 | 0 |
| March 2024 | 0 |
| April 2024 | 0 |
| May 2024 | 0 |
Nedladdningar
| views | |
|---|---|
| 251609.pdf | 25 |
Visningar per land (topp)
| views | |
|---|---|
| Sweden | 10 |
| China | 7 |
| United States | 5 |
| Singapore | 2 |
| Bulgaria | 1 |
| Germany | 1 |
| Finland | 1 |
| Ireland | 1 |
| Japan | 1 |
| Luxembourg | 1 |
| Norway | 1 |
| Taiwan | 1 |
| Uzbekistan | 1 |
Visningar per stad (topp)
| views | |
|---|---|
| Ashburn | 2 |
| Beijing | 2 |
| Gothenburg | 2 |
| Singapore | 2 |
| Vellinge | 2 |
| Alexandria | 1 |
| Borås | 1 |
| Des Moines | 1 |
| Olching | 1 |
| Oslo | 1 |
| Providence | 1 |
| Örebro | 1 |