TY - CHAP T1 - Incorporating Data into EFSM Inference T2 - Software Engineering and Formal Methods PY - 2019/01/01 AU - Foster M AU - Brucker AD AU - Taylor RG AU - North S AU - Derrick J ED - DO - DOI: 10.1007/978-3-030-30446-1_14 PB - Springer International Publishing SN - 9783030304454 SP - 257 EP - 272 Y2 - 2025/04/12 ER -