@misc{indiciae7e55485f7240,
  title = {A Tutorial on Using Dafny to Construct Verified Software},
  author = {Paqui Lucio},
  year = {2017},
  doi = {10.4204/eptcs.237.1},
  url = {https://arxiv.org/abs/1701.04481},
  note = {Source identifier: 1701.04481}
}