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 239

Total visits per month

views
July 2024 0
August 2024 0
September 2024 0
October 2024 0
November 2024 0
December 2024 1
January 2025 0

File Visits

views
60f77c8bea52656bf3ce766d14479e6a253b.pdf 96

Top country views

views
United States 140
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