TY - CONF T1 - A mechanised proof of an adaptive state counting algorithm JO - ICTSS 2019 : Testing Software and Systems UR - http://eprints.whiterose.ac.uk/149565/ PY - 2019/10/08 AU - Sachtleben R AU - Hierons R AU - Huang W-L AU - Peleska J ED - DO - DOI: 10.1007/978-3-030-31280-0_11 PB - Springer SN - 978-3-030-31279-4 SP - 176 EP - 193 Y2 - 2025/05/19 ER -