Statistics

Total Visits

Views
A refinement calculus for logic programs 121

Total Visits per Month

May 2019 June 2019 July 2019 August 2019 September 2019 October 2019 November 2019
A refinement calculus for logic programs 5 4 0 0 0 1 1

File Downloads

Views
Hayes_33978.pdf 274
26399 11

Top Country Views

Views
United States 60
China 9
Australia 7
United Kingdom 3
Colombia 2
Portugal 2

Top City Views

Views
Mountain View 36
Fairfield 9
Beijing 7
Kaleen 7
Ashburn 3
Cambridge 3
Bogotá 2
Lisbon 2
Mckeesport 1
San Francisco 1