Publications

Testing atomicity of composed concurrent operations

• • Ohad Shacham
  • Nathan Bronson
  • et al.
• 2011
• OOPSLA 2011