Newcastle University
Toggle Main Menu
Toggle Search
Home
Browse
Latest
Policies
About
Home
Browse
Latest
Policies
About
ePrints
Browse by author
Browsing publications by
Nick Battle.
Newcastle Authors
Title
Year
Full text
Professor John Fitzgerald
Professor Peter Larsen
Dr Ken Pierce
Dr Leo Freitas
Nick Battle
et al.
Verification Technology for VDM: Craft and Automation
2024