Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by John Hughes.

Newcastle AuthorsTitleYearFull 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 VDM2011
John Hughes
Emeritus Professor Cliff Jones
Reasoning about programs via operational semantics: requirements for a support system2008