EasyChair Smart Slide
Reasoning About TSO Programs Using Reduction and Abstraction
Reasoning About TSO Programs Using Reduction and Abstraction