DMCA

Checking concise specifications for multithreaded software (2004)

by Stephen N. Freund , Shaz Qadeer
Venue:Journal of Object Technology
Citations:44 - 11 self