@proceedings{20278,
  editor       = {{Ahrendt, Wolfgang and Wehrheim, Heike}},
  isbn         = {{978-3-030-50994-1}},
  publisher    = {{Springer}},
  title        = {{{Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]}}},
  doi          = {{10.1007/978-3-030-50995-8}},
  volume       = {{12165}},
  year         = {{2020}},
}

@proceedings{21019,
  editor       = {{Ahrendt, Wolfgang and Wehrheim, Heike}},
  isbn         = {{978-3-030-50994-1}},
  publisher    = {{Springer}},
  title        = {{{Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]}}},
  doi          = {{10.1007/978-3-030-50995-8}},
  volume       = {{12165}},
  year         = {{2020}},
}