Zhao, X., Osborne, M., Lantair, J., Robu, V., Flynn, D., Huang, X., Fisher, M.,
Papacchini, F. &
Ferrando, A.,
2019,
Software Engineering and Formal Methods - 17th International Conference,
SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings.Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review