Login / Signup

Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors.

Cyrille ArthoKlaus HavelundArmin Biere
Published in: ATVA (2004)
Keyphrases