Statistics for Analysis and Enforcement of Properties in Software Systems

Total visits

views
Analysis and Enforcement of Properties in Software Systems 284

Total visits per month

views
December 2023 0
January 2024 0
February 2024 0
March 2024 2
April 2024 0
May 2024 1
June 2024 0

File Visits

views
Wu_M_D_2019.pdf 755

Top country views

views
United States 139
China 28
France 21
Germany 20
Canada 10
Hong Kong SAR China 8
Russia 6
Belgium 5
Sweden 4
Finland 3
Ireland 3
India 3
United Kingdom 2
Malaysia 2
Peru 2
Taiwan 2
Vietnam 2
Austria 1
Australia 1
Denmark 1
Hungary 1
Jordan 1
South Korea 1
Netherlands 1
New Zealand 1
Pakistan 1
Poland 1
Portugal 1
Romania 1
Seychelles 1
Singapore 1
Tunisia 1

Top city views

views
Ashburn 35
Reston 31
Beijing 9
Los Angeles 9
Toronto 7
Central 6
Blacksburg 5
Leuven 5
Novosibirsk 4
Winston-Salem 4
Boardman 3
Brooklyn 3
Dublin 3
Montreal 3
San Jose 3
Sterling 3
Atlanta 2
Berlin 2
Castro Valley 2
Centreville 2
Changsha 2
Des Moines 2
Hanoi 2
Mumbai 2
Old Bridge 2
Palo Alto 2
Petaling Jaya 2
Pittsburgh 2
San Mateo 2
Shanghai 2
Vladivostok 2
Zhengzhou 2
Aarhus 1
Bengaluru 1
Bochum 1
Boston 1
Braga 1
Bromley 1
Charleston 1
Chongqing 1
Djemmal 1
Graz 1
Hangzhou 1
Houston 1
Invercargill 1
Kaohsiung City 1
Karachi 1
Ludwigshafen am Rhein 1
Munich 1
Needham 1
Ningbo 1
North Hollywood 1
Osaka 1
Paris 1
Potomac 1
Putian 1
Rennes 1
Roseville 1
Saarlouis 1
San Diego 1
Santa Cruz 1
Seattle 1
Shaoguan 1
Shenzhen 1
Sibiu 1
Singapore 1
Stockholm 1
Sydney 1
Talence 1
Tokyo 1
Walnut Creek 1
Warsaw 1