John Wickerson

icon indicating a website link https://johnwickerson.github.io

icon company Imperial College London icon location Cambridge/London, UK icon location Associate Professor, Department of Electrical and Electronic Engineering, Imperial College London

Results 1 repositories owned by John Wickerson

memalloy

28
Stars
6
Forks
Watchers

Memory consistency modelling using Alloy

verified publisher icon johnwickerson