Robert M. Hierons. Editorial: Formal methods and testing. Softw. Test., Verif. Reliab., 12(2):69-70, 2002.
@article{Hierons02, title = {Editorial: Formal methods and testing}, author = {Robert M. Hierons}, year = {2002}, tags = {testing}, researchr = {https://researchr.org/publication/Hierons02}, cites = {0}, citedby = {0}, journal = {Softw. Test., Verif. Reliab.}, volume = {12}, number = {2}, pages = {69-70}, }