Browsing publications by John Hughes

Newcastle Authors	Title	Year
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 Professor Cliff Jones	Reasoning about programs via operational semantics: requirements for a support system	2008