Browse by author
Lookup NU author(s): Professor Ian Hayes, Emeritus Professor Cliff JonesORCiD
This work is licensed under a Creative Commons Attribution 4.0 International License (CC BY 4.0).
Author(s): Hayes IJ, Jones CB, Meinicke LM
Editor(s): Bowen, J
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: Theories of Programming and Formal Methods
Year of Conference: 2023
Pages: 110-135
Print publication date: 08/09/2023
Online publication date: 08/09/2023
Acceptance date: 19/07/2023
Date deposited: 18/09/2023
ISSN: 0302-9743
Publisher: Springer
URL: https://doi.org/10.1007/978-3-031-40436-8_5
DOI: 10.1007/978-3-031-40436-8_5
ePrints DOI: 10.57711/2t97-kk23
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science
ISBN: 9783031404351
