1099-1689/asset/olbannerleft.jpg?v=1&s=f177ca3aecdb1afaf18649c31eb98c6a5a2ba179)
1099-1689/asset/olbannerright.jpg?v=1&s=c31cdb59b8e8855ed28bf83573e9f1693e3f9a0e)
Editorial
You have free access to this content
Editorial: Formal methods and testing
Article first published online: 29 MAY 2002
DOI: 10.1002/stvr.249
Copyright © 2002 John Wiley & Sons, Ltd.
1099-1689/asset/cover.gif?v=1&s=f770cbd14e5dbc2249e9f62de4d9f5779efcc8b7 "Software Testing, Verification and Reliability")
Additional Information
How to Cite
Hierons, R. (2002), Editorial: Formal methods and testing. Softw. Test. Verif. Reliab., 12: 69–70. doi: 10.1002/stvr.249
Publication History
- Issue published online: 29 MAY 2002
- Article first published online: 29 MAY 2002