Browse by author
Lookup NU author(s): Professor Peter Larsen, Professor John Fitzgerald
The full text of this item is currently under embargo and cannot be made publicly available until 01/09/2025.
Author(s): Larsen PG, Talasila P, Fitzgerald J
Editor(s): Foster, S; Sampaio, A
Series Editor(s): Bertino, E; Gao, W; Steffen, B; Yung, M
Publication type: Book Chapter
Publication status: Published
Book Title: The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement
Year: 2024
Volume: 14900
Pages: 103-122
Online publication date: 01/09/2024
Acceptance date: 13/08/2024
Series Title: Lecture Notes in Computer Science
Publisher: Springer
Place Published: Cham
URL: https://doi.org/10.1007/978-3-031-67114-2_5
DOI: 10.1007/978-3-031-67114-2_5
ePrints DOI: 10.57711/7rq3-0t95
Notes: Online ISBN: 9783031671142
Library holdings: Search Newcastle University Library for this item
ISBN: 9783031671135
