Analysing Java's safety guarantees under concurrency
Metadata only
Date
2014-03Type
- Journal Article
ETH Bibliography
yes
Altmetrics
Publication status
publishedJournal / series
Information technologyVolume
Pages / Article No.
Publisher
De GruyterOrganisational unit
03634 - Basin, David / Basin, David
Notes
Received 29 October 2013, Accepted 05 November 2013, Published online 31 March 2014.More
Show all metadata
ETH Bibliography
yes
Altmetrics