@misc{indiciae545826dd3621,
  title = {Towards A Broader Acceptance Of Formal Verification Tools: The Role Of Education},
  author = {Mansur Khazeev and Manuel Mazzara and Daniel De Carvalho and Hamna Aslam},
  year = {2019},
  url = {https://arxiv.org/abs/1906.01430},
  note = {Source identifier: 1906.01430}
}