TY  - CONF

T1  - Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers

JO  - Formal Methods and Testing

PY  - 2008/01/01

AU  - 

ED  - Hierons RM

ED  - Bowen JP

ED  - Harman M

PB  - Springer

SN  - 978-3-540-78916-1

VL  - 4949

Y2  - 2024/10/23

ER  -