Strengthening Induction−Based Race Checking with Lightweight Static Analysis
Alastair F. Donaldson‚ Leopold Haller and Daniel Kroening
Details
| Book Title |
VMCAI |
| Pages |
169−183 |
| Year |
2011 |
Links
Related pages
|
People |