Publications
Filter by
Open menu
1 result for
Nathan Bronson
Testing atomicity of composed concurrent operations
Ohad Shacham
Nathan Bronson
et al.
2011
OOPSLA 2011