Browse by author
Lookup NU author(s): Professor Cliff Jones
This is the final published version of an article that has been published in its final definitive form by ACM, 2022.
For re-use rights please refer to the publisher's terms and conditions.
Author(s): Jones CB, Thomas M
Publication type: Article
Publication status: Published
Journal: Formal Aspects of Computing
Print publication date: 01/07/2022
Online publication date: 01/03/2022
Acceptance date: 28/02/2022
Date deposited: 18/10/2022
ISSN (print): 0934-5043
ISSN (electronic): 1433-299X
Altmetrics provided by Altmetric