DMCA

D.: Strengthening induction-based race checking with lightweight static analysis (2011)

Cached

Download Links

by Alastair F. Donaldson , Leopold Haller , Daniel Kroening
Venue:In: Verification, Model Checking, and Abstract Interpretation (VMCAI). LNCS
Citations:8 - 6 self