Zugriffsstatistik
Gesamtzugriffe
Zugriffe | |
---|---|
A semantic model for the analysis and verification of programs in general, higher-level languages | 526 |
Gesamtzugriffe pro Monat
November 2023 | Dezember 2023 | Januar 2024 | Februar 2024 | März 2024 | April 2024 | Mai 2024 | |
---|---|---|---|---|---|---|---|
A semantic model for the analysis and verification of programs in general, higher-level languages | 2 | 6 | 5 | 4 | 1 | 17 | 1 |
Dateidownload
Zugriffe | |
---|---|
ploe1.pdf | 139 |
Häufigste Länder
Zugriffe | |
---|---|
Deutschland | 203 |
Vereinigte Staaten | 116 |
China | 42 |
Frankreich | 34 |
Vereinigtes Königreich | 31 |
Schweden | 29 |
Irland | 15 |
Singapur | 8 |
Niederlande | 7 |
Österreich | 6 |
Häufigste Städte
Zugriffe | |
---|---|
Frankfurt am Main | 131 |
Ashburn | 43 |
Southend | 21 |
Stuttgart | 16 |
Guangzhou | 13 |
Dublin | 12 |
Berlin | 8 |
Houston | 7 |
Los Angeles | 7 |
Mountain View | 6 |