@misc{indiciae7d3c59c0df76,
  title = {Gobra: Modular Specification and Verification of Go Programs (extended version)},
  author = {Felix A. Wolf and Linard Arquint and Martin Clochard and Wytse Oortwijn and João C. Pereira and Peter Müller},
  year = {2021},
  url = {https://arxiv.org/abs/2105.13840},
  note = {Source identifier: 2105.13840}
}