Staff Profile
Nick Battle
Guest
Research
Guest member of staff, interested in formal specification and modelling of industrial systems.
See ORCID for more details. My ACM Authors page 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. My ResearchGate page contains links to all of these papers. Google Scholar also has links to most of my publications.
Publications
-
Book Chapter
- Fitzgerald J, Larsen PG, Pierce K, Freitas L, Battle N. Verification Technology for VDM: Craft and Automation. 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.