Conference item icon

Conference item

Strengthening Induction−Based Race Checking with Lightweight Static Analysis

Actions


Authors


Alastair F. Donaldson More by this author
Leopold Haller More by this author
Daniel Kroening More by this author
Publication date:
2011
URN:
uuid:31d5ca18-9d97-4fcc-8b01-23e1493855da
Local pid:
cs:5287

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP