About the Authors
- Antonio Ferrández
-
Roles Formal analysis, Investigation, Software, Validation, Writing – original draft
Affiliation GPLSI Research Group, Department of Software and Computing Systems, University of Alicante, Alicante, Spain
- Jesús Peral
-
Roles Formal analysis, Investigation, Software, Validation, Writing – original draft
* E-mail: jperal@dlsi.ua.es
Affiliation Lucentia Research Group, Department of Software and Computing Systems, University of Alicante, Alicante, Spain
Competing Interests
The authors have declared that no competing interests exist.