Statistics

De Montfort University Open Research Archive

Statistics

Total Visits

Views
Conditioned semantic slicing via abstraction and refinement in FermaT. 183

Total Visits Per Month

April 2017 May 2017 June 2017 July 2017 August 2017 September 2017 October 2017
Conditioned semantic slicing via abstraction and refinement in FermaT. 0 3 2 3 2 0 1

Top country views

Views
United States 41
South Korea 22
France 11
Germany 10
Philippines 8
China 5
United Kingdom 5
Russia 5
Ukraine 5
India 4

Top cities views

Views
Seoul 21
Mountain View 9
Cebu City 8
Moscow 5
Shenzhen 5
Grenoble 3
Manchester 2
Munich 2
New Delhi 2
Palaiseau 2