@inproceedings{girardsatabin:hal-03936881,
  TITLE = {{Caract{\'e}riser des propri{\'e}t{\'e}s de confiance d'IA avec Why3}},
  AUTHOR = {Girard-Satabin, Julien and Alberti, Michele and Bobot, Fran{\c c}ois and Chihani, Zakaria},
  URL = {https://inria.hal.science/hal-03936881},
  BOOKTITLE = {{JFLA 2023 - 34{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs}},
  ADDRESS = {Praz-sur-Arly, France},
  EDITOR = {Timothy Bourke and Delphine Demange},
  PAGES = {291--295},
  YEAR = {2023},
  MONTH = Jan,
  PDF = {https://inria.hal.science/hal-03936881/file/jfla23_paper_5846.pdf},
  HAL_ID = {hal-03936881},
  HAL_VERSION = {v1},
}