TY  - JOUR

T1  - Editorial: Formal methods and testing

JO  - Software Testing, Verification and Reliability

UR  - https://doi.org/10.1002/stvr.249

PY  - 2002/05/29

AU  - Hierons R

ED  - 

DO  - DOI: 10.1002/stvr.249

PB  - Wiley

VL  - 12

IS  - 2

SP  - 69

EP  - 70

Y2  - 2025/11/05

ER  -