Login / Signup
Finding stale-value errors in concurrent programs.
Michael Burrows
K. Rustan M. Leino
Published in:
Concurr. Pract. Exp. (2004)
Keyphrases
</>
concurrent programs
database
information systems
database systems
concurrent processes