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