About the Authors
- Andrew Brim
-
Roles Formal analysis, Software
* E-mail: andrew.brim@usu.edu
Affiliation Department of Computer Science, Utah State University, Logan, Utah, United States of America
- Nicholas S. Flann
-
Roles Formal analysis
Affiliation Department of Computer Science, Utah State University, Logan, Utah, United States of America
Competing Interests
The authors have declared that no competing interests exist.