DMCA

Aspect-Oriented Linearizability Proofs

by Thomas A. Henzinger , Ali Sezgin , Viktor Vafeiadis
Citations:4 - 0 self