TY - RPRT TI - C-rusted: The Advantages of Rust, in C, without the Disadvantages AU - Roberto Bagnara AU - Abramo Bagnara AU - Federico Serafini PY - 2023 UR - https://arxiv.org/abs/2302.05331 ID - 2302.05331 ER -