Publications by John Hughes - ePrints

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