Browse by author
Lookup NU author(s): Professor John Fitzgerald, Professor Peter Larsen, Dr Ken Pierce, Dr Leo Freitas, Nick Battle
The full text of this item is currently under embargo and cannot be made publicly available until 04/09/2025.
Author(s): Fitzgerald J, Larsen PG, Pierce K, Freitas L, Battle N
Editor(s): Cavalcanti, A; Baxter, J
Series Editor(s): Bertino, E; Gao, W; Steffen, B; Yung, M
Publication type: Book Chapter
Publication status: Published
Book Title: The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part 1
Year: 2024
Volume: 14780
Pages: 109-130
Online publication date: 04/09/2024
Acceptance date: 13/08/2024
Edition: 1
Series Title: Lecture Notes in Computer Science
Publisher: Springer
Place Published: Cham
URL: https://doi.org/10.1007/978-3-031-66676-6_6
DOI: 10.1007/978-3-031-66676-6_6
ePrints DOI: 10.57711/5c1m-xc17
Notes: Online ISBN: 9783031666766
Library holdings: Search Newcastle University Library for this item
ISBN: 9783031666759
