Simon Doherty - SPLASH 2020

Sun 15 - Sat 21 November 2020 Online Conference

Not registered as user yet

Name: Simon Doherty

Affiliation: University of Sheffield

Contributions

ECOOP 2020	Owicki-Gries Reasoning for C11 RAR Owicki-Gries Reasoning for C11 RAR Owicki-Gries Reasoning for C11 RAR
SPLASH 2020	Owicki-Gries Reasoning for C11 RAR
Show activities from other conferences

SPLASH 2020-profile
View general profile