https://orcid.org/0000-0002-8091-1458
About the Authors
- Muhammad Hassan
-
Contributed equally to this work with: Muhammad Hassan, Tom Kelsey
Roles Conceptualization, Formal analysis, Investigation, Methodology, Software, Validation, Writing – original draft, Writing – review & editing
* E-mail: mh353@st-andrews.ac.uk
Affiliation School of Computer Science, University of St. Andrews, St. Andrews, United Kingdom
- Tom Kelsey
-
Contributed equally to this work with: Muhammad Hassan, Tom Kelsey
Roles Investigation, Methodology, Supervision, Writing – original draft, Writing – review & editing
Affiliation School of Computer Science, University of St. Andrews, St. Andrews, United Kingdom
- Fahrurrozi Rahman
-
Roles Formal analysis, Investigation, Software, Validation
Affiliation School of Computer Science, University of St. Andrews, St. Andrews, United Kingdom
Competing Interests
The authors have declared that no competing interests exist.