@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 2024/12/21}}}