@inproceedings{trelat2024afadl,
  author = {Trélat, Vincent},
  title = {Amélioration des raisonneurs du langage {B} avec des techniques {SMT}},
  booktitle = {Approches Formelles dans l'Assistance au Développement du Logiciel (AFADL 2024)},
  year = {2024},
  url = {https://vtrelat.github.io/papers/afadl24.pdf},
}