DMCA

Verifying Correct Usage of Atomic Blocks with Typestate (2008)

Cached

Download Links

by Nels E. Beckman , Kevin Bierhoff , Jonathan Aldrich
Venue:OOPSLA 2008
Citations:3 - 1 self