2024-book.bib

@comment{{This file has been generated by bib2bib 1.99}}

@comment{{Command line: bib2bib -q -oc 2024-book.cite -ob 2024-book.bib -c 'year = 2024 and topics : "team" and ($type="book" or $type="inbook" or $type="incollection")' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@inbook{blanchard24acsl,
  topics = {team},
  hal = {https://inria.hal.science/hal-04265707},
  doi = {10.1007/978-3-031-55608-1_1},
  pages = {3--80},
  author = {Blanchard, Allan and March\'e, Claude and Prevosto, Virgile},
  title = {Guide to Software Verification with {Frama-C} --- Core Components, Usages, and Applications},
  chapter = {Formally Expressing what a Program Should Do: the {ACSL} Language},
  publisher = {Springer-Verlag},
  year = 2024
}