Items where authors include "Sachtleben, R."

Proceedings Paper

Sachtleben, R., Hierons, R. orcid.org/0000-0002-4771-1446, Huang, W.-L. et al. (1 more author) (2019) A mechanised proof of an adaptive state counting algorithm. In: Gaston, C., Kosmatov, N. and Le Gall, P., (eds.) ICTSS 2019 : Testing Software and Systems. The 31st IFIP International Conference on Testing Software and Systems (IFIP-ICTSS 2019), 15-17 Oct 2019, Paris, France. Lecture Notes in Computer Science (11812). Springer , pp. 176-193. ISBN 9783030312794