Browse by Journal or other publication
Jump to: Article
Number of items: 1.
Article
Atkey, Robert and Sannella, Donald (2015) ThreadSafe : static analysis for Java concurrency. Electronic Communications of the EASST, 72. ISSN 1863-2122
Atkey, Robert and Sannella, Donald (2015) ThreadSafe : static analysis for Java concurrency. Electronic Communications of the EASST, 72. ISSN 1863-2122