1. The Art of Developing Frama-C Plug-ins
- Author
-
Bobot, François, Maroneze, André, Prevosto, Virgile, Signoles, Julien, Abraham, Erika, Editorial Board Member, Beyersdorff, Olaf, Editorial Board Member, Blanchette, Jasmin, Editorial Board Member, Biere, Armin, Editorial Board Member, Buss, Sam, Editorial Board Member, England, Matthew, Editorial Board Member, Fleuriot, Jacques, Editorial Board Member, Fontaine, Pascal, Editorial Board Member, Gurfinkel, Arie, Editorial Board Member, Heule, Marijn, Editorial Board Member, Kahle, Reinhard, Editorial Board Member, Kolaitis, Phokion, Editorial Board Member, Kolokolova, Antonina, Editorial Board Member, Matthes, Ralph, Editorial Board Member, Mahboubi, Assia, Editorial Board Member, Nordström, Jakob, Editorial Board Member, Panangaden, Prakash, Editorial Board Member, Rozier, Kristin Yvonne, Editorial Board Member, Studer, Thomas, Editorial Board Member, Tinelli, Cesare, Editorial Board Member, Kosmatov, Nikolai, editor, Prevosto, Virgile, editor, and Signoles, Julien, editor
- Published
- 2024
- Full Text
- View/download PDF