Martyn Thomas. The industrial use of formal methods. Microprocessors and Microsystems, 17(1):31-36, 1993. [doi]
@article{Thomas93-2, title = {The industrial use of formal methods}, author = {Martyn Thomas}, year = {1993}, doi = {10.1016/0141-9331(93)90091-K}, url = {http://dx.doi.org/10.1016/0141-9331(93)90091-K}, researchr = {https://researchr.org/publication/Thomas93-2}, cites = {0}, citedby = {0}, journal = {Microprocessors and Microsystems}, volume = {17}, number = {1}, pages = {31-36}, }