TY  - CONF

T1  - Testing from X-Machine Specifications.

JO  - Formal Methods and Testing

UR  - https://doi.org/10.1007/978-3-540-78917-8

PY  - 2008/01/01

AU  - Bogdanov K

ED  - Hierons RM

ED  - Bowen JP

ED  - Harman M

PB  - Springer

SN  - 978-3-540-78916-1

VL  - 4949

SP  - 184

EP  - 208

Y2  - 2024/12/22

ER  -