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 - 2025/03/13 ER -