ThreadSafe: static analysis for Java concurrency

Robert Atkey, Donald Sannella

Research output: Contribution to journalConference Contributionpeer-review

203 Downloads (Pure)

Fingerprint Dive into the research topics of 'ThreadSafe: static analysis for Java concurrency'. Together they form a unique fingerprint.

Engineering & Materials Science