Formal verification of a lazy concurrent list-based set (2006)

by Robert Colvin , Lindsay Groves , Victor Luchangco , Mark Moir
Venue:In 18th CAV
Citations:26 - 6 self