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: File downloads; All dates

File downloadsItem page views
Current month40
Previous month115
All dates472532
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: File downloads; All dates

Top country views

File downloads
United States174
China74
Germany28
United Kingdom28
New Zealand15
Russia14
France10
Pakistan9
Australia8
Brazil8

Top cities views

File downloads
Minneapolis33
Beijing30
Fuzhou26
Ashburn21
Saint Petersburg10
Fairfield9
Dunedin7
Cambridge6
Mountain View6
Wilmington6