![](https://www.pdfsearch.io/img/fc654b44f8e99408db428df1be79ed21.jpg) Date: 2012-08-31 08:16:46
| | 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 AccessAdd to Reading ListSource URL: www.doc.ic.ac.ukDownload Document from Source Website File Size: 212,77 KBShare Document on Facebook
|