@misc{indiciaef05fe33c3b3d,
  title = {Unsafe Impedance: Safe Languages and Safe by Design Software},
  author = {Lee Barney and Adolfo Neto},
  year = {2024},
  url = {https://arxiv.org/abs/2407.13046},
  note = {Source identifier: 2407.13046}
}