@article{article, title = {{Editorial: Formal methods and testing.}},
url = {{}},
year = {{2002}},
month = {{1}},
author = {{Hierons RM}},
volume = {{12}},
journal = {{Softw. Test. Verification Reliab.}},
pages = {{69-70}},
note = {{Accessed on 2025/07/04}}}