@article{hall1990seven,
  author={Hall, A.},
  title={Seven myths of formal methods},
  journal={Software, IEEE},
  year={1990},
  volume={7},
  number={5},
  pages={11--19}
}