@proceedings{TAP20,
  editor    = {Wolfgang Ahrendt and Heike Wehrheim},
  title     = {TAP, Tests and Proofs --
               14th International Conference,
               Bergen, Norway, June 2020},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {12165},
  year      = {2020}
}