DMCA

Using block-local atomicity to detect stale-value concurrency errors (2004)

by Cyrille Artho , Klaus Havelund , Armin Biere
Venue:In Farn Wang, editor, Proc. ATVA ’04
Citations:26 - 13 self