C-Rusted: Safe and Secure Programming in Standard C.

Roberto Bagnara, Abramo Bagnara, Federico Serafini, Nicola Vetrini

Browse the full QRS paper archive.