@misc{indiciae21652f211c95,
  title = {C-rusted: The Advantages of Rust, in C, without the Disadvantages},
  author = {Roberto Bagnara and Abramo Bagnara and Federico Serafini},
  year = {2023},
  url = {https://arxiv.org/abs/2302.05331},
  note = {Source identifier: 2302.05331}
}