@inproceedings{bergeron2026barrelAFADL,
  author = {Bergeron, Ghilain and Trélat, Vincent},
  title = {{BARReL}: un backend moderne pour {Atelier B} dans {Lean}},
  crossref = {brunel:hal-05774554},
  year = {2026},
  note = {Démonstration d'outil},
  url = {https://hal.science/hal-05774554},
}

@proceedings{brunel:hal-05774554,
  TITLE = {{Actes des journ{\'e}es Approches Formelles dans l'Assistance au Developpement du Logiciel (AFADL 2026)}},
  AUTHOR = {Brunel, Julien and Longuet, Delphine},
  URL = {https://hal.science/hal-05774554},
  BOOKTITLE = {{Approches Formelles dans l'Assistance au Developpement du Logiciel}},
  ADDRESS = {Lille, France},
  ORGANIZATION = {{Julien Brunel and Delphine Longuet}},
  YEAR = {2026},
  MONTH = Oct,
  KEYWORDS = {Software engineering ; Formal methods ; G{\'e}nie logicel ; M{\'e}thodes formelles},
  PDF = {https://hal.science/hal-05774554v1/file/main_2026.pdf},
  HAL_ID = {hal-05774554},
  HAL_VERSION = {v1},
}