Staff Profile
Nick Battle
Guest
Research
Guest member of staff, interested in formal specification and modelling of industrial systems.
See ORCID for more details. lists the papers referenced by the ACM digital library, though papers are only accessible directly from the ACM library if you are an ACM member. contains links to all of these papers. also has links to most of my publications.
Publications
-
Book Chapter
- Fitzgerald J, Larsen PG, Pierce K, Freitas L, Battle N. . In: Cavalcanti, A; Baxter, J, ed. The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part 1. Cham: Springer, 2024, pp.109-130.