Analysing Java's safety guarantees under concurrency
Open access
Date
2014-03Type
- Journal Article
ETH Bibliography
yes
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-b-000081641Publication status
publishedExternal links
Journal / 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. It was possible to publish this article open access thanks to a Swiss National Licence with the publisherMore
Show all metadata
ETH Bibliography
yes
Altmetrics