Editorial: Formal methods and testing

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},
}