Verifying correct usage of atomic blocks and typestate (2008)

by N E Beckman, K Bierhoff, J Aldrich
Venue:SIGPLAN Not