TY  - JOUR

T1  - Editorial: Formal methods and testing.

JO  - Softw. Test. Verification Reliab.

PY  - 2002/01/01

AU  - Hierons RM

ED  - 

VL  - 12

SP  - 69

EP  - 70

Y2  - 2024/10/23

ER  -