Back to Results
First PageMeta Content



Strengthening Induction-Based Race Checking with Lightweight Static Analysis ? Alastair F. Donaldson, Leopold Haller, and Daniel Kroening Oxford University Computing Laboratory, Oxford, UK Abstract. Direct Memory Access
Add to Reading List

Document Date: 2012-08-31 08:16:46


Open Document

File Size: 212,77 KB

Share Result on Facebook
UPDATE