Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson, Ahmed Rezine. An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures. STTT, 19(5):549-563, 2017. [doi]
Abstract is missing.