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  - 2024/12/22

ER  -