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 month026
Previous month148
All dates494869
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
Russia265
United States125
United Kingdom75
France33
China24
New Zealand21
Germany20
Poland20
Japan16
Australia15
Canada11
Netherlands10
India8
Ukraine6
Austria5
EU3
Italy3
Sweden3
Czech Republic2
Indonesia2
Pakistan2
Portugal2
South Africa2
Belgium1
Belarus1
Algeria1
Egypt1
Israel1
Iran1
Malaysia1
Philippines1

Top cities views

Item page views
Saint Petersburg252
Ashburn22
Southend16
Milton11
Wilmington11
Fairfield9
Cambridge8
Dunedin8
Ann Arbor6
Beijing5
Houston5
Sunnyvale5
Vienna5
Dearborn4
Jacksonville4
London4
Madison4
Shenzhen4
Auckland3
Chantilly3
Dallas3
Mountain View3
Wellington3
York3
Amsterdam2
Chongqing2
Fremont2
Gurgaon2
Hangzhou2
Islamabad2
Milan2
Montréal2
Norwalk2
Oakland2
Porto2
Seattle2
Warsaw2
Woodbridge2
Auburn Hills1
Augusta1
Aurora1
Bernay1
Boardman1
Cairo1
Cary1
Dayton1
Dresden1
Edenvale1
Englewood1
Hamilton1