Result Details

Correction to: An integrated specification and verification technique for highly concurrent data structures

HOLÍK, L.; ABDULLA, P.; HAZIZA, F.; JONSSON, B.; REZINE, A. Correction to: An integrated specification and verification technique for highly concurrent data structures. 2026.
Type
journal article
Language
English
Authors
Holík Lukáš, doc. Mgr., Ph.D., DITS (FIT)
Abdulla Parosh
Haziza Frédéric
Jonsson Bengt
Rezine Ahmed, Assoc. Prof.
URL
Published
2026
Pages
825
Book
Int. J. Softw. Tools Technol. Transf.
BibTeX 
@article{BUT193159,
  author="Lukáš {Holík} and Parosh {Abdulla} and Frédéric {Haziza} and Bengt {Jonsson} and Ahmed {Rezine}",
  title="Correction to: An integrated specification and verification technique for highly concurrent data structures",
  year="2026",
  pages="825",
  url="https://doi.org/10.1007/s10009-021-00629-9"
}
Departments
Department of Intelligent Systems (DITS)
Back to top