Statistics for Formal Methods in the IS Domain: Introducing a Notation for Presenting Object-Z Specifications

Total visits

views
Formal Methods in the IS Domain: Introducing a Notation for Presenting Object-Z Specifications 238

Total visits per month

views
November 2023 3
December 2023 0
January 2024 0
February 2024 0
March 2024 0
April 2024 0
May 2024 0

File Visits

views
60f77c8bea52656bf3ce766d14479e6a253b.pdf 77

Top country views

views
United States 139
Germany 24
Denmark 23
Sweden 16
Kenya 10
China 7
Hong Kong SAR China 4
South Korea 4
Finland 3
Canada 2
United Kingdom 2
Philippines 2
France 1
Libya 1

Top city views

views
Ashburn 83
Wilmington 16
Boardman 15
Nairobi 10
Nyköping 9
Chandler 7
Frankfurt am Main 6
Kiel 3
London 2
Naga 2
Balingen 1
Benghazi 1
Daejeon 1
Guangzhou 1
Maple Ridge 1
Montreal 1
Mountain View 1
Philadelphia 1
Short Hills 1
Yuxi 1