Statistics

K-REx Repository

Statistics

Total Visits

Views
A formal approach to contract verification for high-integrity applications 484

Total Visits Per Month

April 2019 May 2019 June 2019 July 2019 August 2019 September 2019 October 2019
A formal approach to contract verification for high-integrity applications 4 1 2 4 3 3 1

File Visits

Views
ZhiZhang2016.pdf 359
2

Top country views

Views
United States 313
Netherlands 108
China 19
United Kingdom 9
France 7
Germany 6
United Arab Emirates 2
Pakistan 2
Austria 1
Australia 1

Top cities views

Views
Manhattan 256
Amsterdam 108
San Francisco 9
Tianjin 9
Ashburn 8
San Jose 8
Dallas 5
Beijing 4
Boardman 4
Redwood City 4

Search K-REx


Advanced Search

Browse

My Account

Statistics








Center for the

Advancement of Digital

Scholarship

118 Hale Library

Manhattan KS 66506


(785) 532-7444

cads@k-state.edu