Total Visits

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

Total Visits Per Month

December 2018January 2019February 2019March 2019April 2019May 2019June 2019
The Semantics, Formal Correctness and Implementation of History Variables in an Imperative Programming Language.1715141415127

File Visits

Views
thesis_fulltext.pdf348
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