@misc{indiciaee3e461577849,
  title = {Engaging Millennials into Learning Formal Methods},
  author = {Néstor Cataño},
  year = {2018},
  url = {https://arxiv.org/abs/1806.03527},
  note = {Source identifier: 1806.03527}
}