Sciweavers

TAP
2008
Springer

Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model

13 years 11 months ago
Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model
Pietro Ferrara
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2008
Where TAP
Authors Pietro Ferrara
Comments (0)