@misc{indiciae67f0992ef45a,
  title = {Verlässliche Software im 21. Jahrhundert},
  author = {Stefan Wagner and Matthias Tichy and Michael Felderer and Stefan Leue},
  year = {2018},
  doi = {10.1007/s00287-018-1118-x},
  url = {https://arxiv.org/abs/1812.01434},
  note = {Source identifier: 1812.01434}
}