author={Baudin, Patrick and Bobot, Fran\c{c}ois and B\"uhler, David and Correnson, Lo\"ic and Kirchner, Florent and Kosmatov, Nikolai and Maroneze, Andr\'e and Perrelle, Valentin and Prevosto, Virgile and Signoles, Julien and Williams, Nicky},
title={{The Dogged Pursuit of Bug-Free C Programs: The Frama-C Software
Analysis Platform}},
journal={Communications of the ACM},
year=2021,
month=aug,
}
@manual{userman,
@manual{userman,
title={Frama-C User Manual},
title={Frama-C User Manual},
author={Loïc Correnson and Pascal Cuoq and Florent Kirchner and
author={Loïc Correnson and Pascal Cuoq and Florent Kirchner and