Back to Results
First PageMeta Content
Abstract interpretation / Computer science / Symbolic execution / Thread / Algorithm / Computing / Electrical engineering / Computer engineering


c Copyright 2014 Tom Bergan Avoiding State-Space Explosion in Multithreaded Programs with
Add to Reading List

Document Date: 2014-03-11 15:06:20

Open Document

File Size: 759,65 KB

Share Result on Facebook
UPDATE