Items where authors include "Huang, W.-L."

Article

Löwe, B., Toussaint, A., Rosmalen, J.G.M. et al. (5 more authors) (2024) Persistent physical symptoms: definition, genesis, and management. The Lancet, 403 (10444). pp. 2649-2662. ISSN 0140-6736

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