Colin F. Snook, Rachel Harrison. Practitioners views on the use of formal methods: an industrial survey by structured interview. Information \& Software Technology, 43(4):275-283, 2001.
@article{SnookH01, title = {Practitioners views on the use of formal methods: an industrial survey by structured interview}, author = {Colin F. Snook and Rachel Harrison}, year = {2001}, tags = {survey}, researchr = {https://researchr.org/publication/SnookH01}, cites = {0}, citedby = {0}, journal = {Information \& Software Technology}, volume = {43}, number = {4}, pages = {275-283}, }