Verifying correct usage of atomic blocks and typestate.

Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich

Browse the full OOPSLA paper archive.