9 April 2020

Our paper “Owicki-Gries Reasoning for C11 RAR” was accepted to ECOOP 2020

Our paper “Owicki-Gries Reasoning for C11 RAR” was accepted to ECOOP 2020.