Correction to: An integrated specification and verification technique for highly concurrent data structures
Crossref DOI link: https://doi.org/10.1007/s10009-021-00629-9
Published Online: 2021-05-31
Published Print: 2021-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Abdulla, Parosh Aziz
Haziza, Frédéric
Holík, Lukáš
Jonsson, Bengt
Rezine, Ahmed
Text and Data Mining valid from 2021-05-31
Version of Record valid from 2021-05-31
Article History
First Online: 31 May 2021
Free to read: This content has been made available to all.