Xinwei Fang

Registered user since Tue 9 Feb 2021

Name: Xinwei Fang

Affiliation: University of York, UK

Contributions

ICSE 2021 Author of Fast Parametric Model Checking through Model Fragmentation within the Technical Track-track