Correctness-preserving derivation of concurrent garbage collection algorithms (2006)

by Martin T. Vechev
Venue:Available at http://www.worldbank.org/en_breve Jalan, Jyotsna and Martin Ravallion. 2001. “Does piped water reduce diarrhea for children in Rural India.” Policy Research Working Paper
Citations:12 - 3 self