@misc{indiciae0a9f87d60c9a,
  title = {Integrating formal methods into traditional practices for software development: an overview},
  author = {Carlos Alberto Fernandez-y-Fernandez},
  year = {2016},
  url = {https://arxiv.org/abs/1412.3504},
  note = {Source identifier: 1412.3504}
}