This page shows usage statistics for the item: Assurance of agent systems: What role should formal verification play?

Click on a number to switch between file downloads and item page views or to view usage statistics for a different date range.

Currently showing: Item page views; All dates

File downloadsItem page views
Current month55
Previous month115
All dates473537
Custom date range
to
    Maximum number of items/collections/authors etc. shown:
  • 2
  • 5
  • 10
  • 20
  • 50
  • 100

Top visitors' geographic locations

Click on a country's usage number to view usage statistics for visits from that country.

Currently showing: Item page views; All dates

Top country views

Item page views
United States124
Russia79
France33
United Kingdom33
China24
New Zealand21
Germany20
Poland20
Japan16
Australia15
Canada11
Netherlands10
India8
Ukraine6
Austria5
EU3
Italy3
Czech Republic2
Indonesia2
Pakistan2
Portugal2
Sweden2
South Africa2
Belgium1
Belarus1
Algeria1
Egypt1
Israel1
Iran1
Malaysia1
Philippines1

Top cities views

Item page views
Saint Petersburg68
Ashburn22
Milton11
Wilmington11
Fairfield9
Cambridge8
Dunedin8
Ann Arbor6
Beijing5
Houston5
Sunnyvale5
Vienna5
Dearborn4
Jacksonville4
London4
Madison4
Shenzhen4
Southend4
Auckland3
Chantilly3
Dallas3
Mountain View3
Wellington3
York3
Amsterdam2
Chongqing2
Fremont2
Gurgaon2
Hangzhou2
Islamabad2
Milan2
Montréal2
Norwalk2
Oakland2
Porto2
Seattle2
Warsaw2
Woodbridge2
Auburn Hills1
Aurora1
Bernay1
Boardman1
Cairo1
Cary1
Dayton1
Dresden1
Edenvale1
Englewood1
Hamilton1
Hoboken1
Invercargill1
Jakarta1
Johannesburg1
Kassel1
Kunming1
Leipzig1
Melbourne1
Nanchang1
Nürnberg1
Ottawa1
Paris1
Phoenix1
Redwood City1
Sistema1
University Park1
Woodbine1
Worksop1