Newcastle University
Toggle Main Menu
Toggle Search
Home
Browse
Latest
Policies
About
Home
Browse
Latest
Policies
About
ePrints
Browse by author
Browsing publications by
John Hughes.
Newcastle Authors
Title
Year
Full text
Dr Zoe Andrews
Dr Jeremy Bryans
Professor John Fitzgerald
John Hughes
Dr Richard Payne
et al.
Modelling and Refinement of the MONDEX Electronic Purse in VDM
2011
John Hughes
Emeritus Professor Cliff Jones
Reasoning about programs via operational semantics: requirements for a support system
2008