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