@inproceedings{neele:hal-03769134,
  TITLE = {{Correction to: Verifying System-Wide Properties of Industrial Component-Based Software}},
  AUTHOR = {Neele, Thomas and Rol, Marijn and Groote, Jan Friso},
  URL = {https://inria.hal.science/hal-03769134},
  BOOKTITLE = {{8th International Conference on Fundamentals of Software Engineering (FSEN)}},
  ADDRESS = {Tehran, Iran},
  EDITOR = {Hossein Hojjat and Mieke Massink},
  PUBLISHER = {{Springer International Publishing}},
  SERIES = {Fundamentals of Software Engineering},
  VOLUME = {LNCS-11761},
  PAGES = {C1-C1},
  YEAR = {2019},
  MONTH = May,
  DOI = {10.1007/978-3-030-31517-7\_18},
  PDF = {https://inria.hal.science/hal-03769134/file/490001_1_En_18_Chapter.pdf},
  HAL_ID = {hal-03769134},
  HAL_VERSION = {v1},
}