An integrated specification and verification technique for highly concurrent data structures (2013)

by Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson, Ahmed Rezine
Venue:In TACAS, volume 7795 of LNCS