The dogged pursuit of bug-free C programs: The Frama-C software analysis platform
Patrick Baudin, Fran{ç}ois Bobot, David Bühler, Lo{\"\i}c Correnson, Florent Kirchner, Nikolai Kosmatov, André Maroneze, Valentin Perrelle, Virgile Prevosto, Julien Signoles, Nicky Williams[doi] [Google Scholar] [DBLP] [Citeseer] [url]
Communications of the ACM
64(8)
Association for Computing Machinery
New York, NY, USA
Pages 56-68
July 2021
Association for Computing Machinery
New York, NY, USA
Pages 56-68
July 2021