@PhdThesis{Pereira2026,
  author = {Jo\~{a}o C. M. Pereira},
  title  = {Formally Verifying Pre-Existing Real-World Programs},
  school = {ETH Zurich},
  year   = {2026},
  doi    = {10.3929/ethz-c-000806601}
}