https://johnwickerson.github.io
Imperial College London Cambridge/London, UK Senior Lecturer, Department of Electrical and Electronic Engineering, Imperial College London
John Wickerson
Memory consistency modelling using Alloy
johnwickerson