@misc{indiciaeb1cbcd1bd23a,
  title = {Miscomputation in software: Learning to live with errors},
  author = {Tomas Petricek},
  year = {2017},
  doi = {10.22152/programming-journal.org/2017/1/14},
  url = {https://arxiv.org/abs/1703.10863},
  note = {Source identifier: 1703.10863}
}