EasyChair Smart Slide
A wide-spectrum language for verification of programs on weak memory models
A wide-spectrum language for verification of programs on weak memory models