Shape-value abstraction for verifying linearizability (2008)

by Viktor Vafeiadis
Citations:24 - 3 self