@misc{indiciaeac89cd17acf7,
  title = {DAReing to reduce the annotation overheads of verified programs},
  author = {Gudmund Grov and Duncan Cameron and Leon McGregor},
  year = {2017},
  url = {https://arxiv.org/abs/1706.04023},
  note = {Source identifier: 1706.04023}
}