@misc{senellart2002verification,
  title={\href{https://pierre.senellart.com/publications/senellart2002verification.pdf}{V\'erification automatique des multiplicateurs}},
  author={Pierre Senellart},
  institution={Chalmers Institute of Technology},
  address={Gothenburg, Sweden},
  year={2002},
  note={{Long internship report}},
}