Statistics

K-REx Repository

Statistics

Total Visits

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

Total Visits Per Month

January 2019 February 2019 March 2019 April 2019 May 2019 June 2019 July 2019
A formal approach to contract verification for high-integrity applications 2 2 2 4 1 2 0

File Visits

Views
ZhiZhang2016.pdf 355
2

Top country views

Views
United States 307
Netherlands 108
China 19
United Kingdom 9
Germany 6
France 5
United Arab Emirates 2
Pakistan 2
Australia 1
Barbados 1

Top cities views

Views
Manhattan 254
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