@misc{trelat2025brewing,
  author = {Trélat, Vincent},
  title = {Brewing the Soundness of {BEer}},
  year = {2025},
  howpublished = {Presentation at iFM 2025},
  url = {https://vtrelat.github.io/slides/slides.pdf},
}