@inproceedings{trelat2025beer,
  author = {Trélat, Vincent},
  title = {Safely Encoding {B} Proof Obligations in {SMT-LIB}},
  booktitle = {Rigorous State-Based Methods},
  editor = {Leuschel, Michael and Ishikawa, Fuyuki},
  series = {Lecture Notes in Computer Science},
  volume = {15728},
  pages = {52--69},
  publisher = {Springer},
  year = {2025},
  doi = {10.1007/978-3-031-94533-5_4},
  url = {https://doi.org/10.1007/978-3-031-94533-5_4},
}