Verifiably correct concurrency abstractionsFunder: Engineering and Physical Sciences Research CouncilDuration: December 2017 - November 2019Citation BibTex format RIS format (EndNote, RefMan) Download Download ×