@misc{indiciae98240f041d85,
  title = {Protocols to Code: Formal Verification of a Next-Generation Internet Router},
  author = {João C. Pereira and Tobias Klenze and Sofia Giampietro and Markus Limbeck and Dionysios Spiliopoulos and Felix A. Wolf and Marco Eilers and Christoph Sprenger and David Basin and Peter Müller and Adrian Perrig},
  year = {2024},
  url = {https://arxiv.org/abs/2405.06074},
  note = {Source identifier: 2405.06074}
}