BibTeX record journals/cacm/BaudinBBCKKMPPS21

download as .bib file

@article{DBLP:journals/cacm/BaudinBBCKKMPPS21,
  author       = {Patrick Baudin and
                  Fran{\c{c}}ois Bobot and
                  David B{\"{u}}hler and
                  Lo{\"{\i}}c Correnson and
                  Florent Kirchner and
                  Nikolai Kosmatov and
                  Andr{\'{e}} Maroneze and
                  Valentin Perrelle and
                  Virgile Prevosto and
                  Julien Signoles and
                  Nicky Williams},
  title        = {The dogged pursuit of bug-free {C} programs: the Frama-C software
                  analysis platform},
  journal      = {Commun. {ACM}},
  volume       = {64},
  number       = {8},
  pages        = {56--68},
  year         = {2021},
  url          = {https://doi.org/10.1145/3470569},
  doi          = {10.1145/3470569},
  timestamp    = {Tue, 07 May 2024 20:23:38 +0200},
  biburl       = {https://dblp.org/rec/journals/cacm/BaudinBBCKKMPPS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.