1 Correction to: Int J Softw Tools Technol Transfer (2017) 19:549–563 https://doi.org/10.1007/s10009-016-0415-4
The publication of this article unfortunately contained a mistake. The title was wrong, please see the correct title above.
The original article has been corrected.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Abdulla, P.A., Haziza, F., Holík, L. et al. Correction to: An integrated specification and verification technique for highly concurrent data structures. Int J Softw Tools Technol Transfer 23, 825 (2021). https://doi.org/10.1007/s10009-021-00629-9
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10009-021-00629-9