TY  - CONF

T1  - A mechanised proof of an adaptive state counting algorithm

JO  - ICTSS 2019 : Testing Software and Systems

UR  - https://eprints.whiterose.ac.uk/id/eprint/149565

UR  - http://ictss2019.centralesupelec.fr/

PY  - 2019/10/08

AU  - Sachtleben R

AU  - Hierons R

AU  - Huang W-L

AU  - Peleska J

ED  - Gaston C

ED  - Kosmatov N

ED  - Le Gall P

DO  - DOI: 10.1007/978-3-030-31280-0_11

PB  - Springer

SN  - 9783030312794

IS  - 11812

SP  - 176

EP  - 193

Y2  - 2025/11/05

ER  -