TY  - JOUR

T1  - Testing refinements of state-based formal specifications

JO  - Software Testing Verification and Reliability

PY  - 1999/01/01

AU  - Derrick J

AU  - Boiten E

ED  - 

DO  - DOI: 10.1002/(SICI)1099-1689(199903)9:1<27::AID-STVR172

VL  - 9

IS  - 1

SP  - 27

EP  - 50

Y2  - 2024/10/23

ER  -