Total Visits

Views
The Semantics, Formal Correctness and Implementation of History Variables in an Imperative Programming Language.526

Total Visits Per Month

April 2019May 2019June 2019July 2019August 2019September 2019October 2019
The Semantics, Formal Correctness and Implementation of History Variables in an Imperative Programming Language.15129151684

File Visits

Views
thesis_fulltext.pdf354
thesis_fulltext.pdf.txt114

Top country views

Views
China61
Germany38
Australia33
New Zealand24
United States24
South Korea16
Netherlands5
Japan4
India3
Philippines3

Top cities views

Views
Beijing47
Milton29
Ashburn10
Seattle7
Chongqing4
Shanghai4
Tokyo4
Berlin2
Braga2
Amsterdam1