C-Rusted: Safe and Secure Programming in Standard C. - Roberto Bagnara; Abramo Bagnara; Federico Serafini; Nicola Vetrini (QRS Companion, 2024)