DMCA

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

by Parosh Aziz Abdulla , Frédéric Haziza , Lukáš Holík , Bengt Jonsson
Citations:5 - 2 self