Browsing publications by Professor Ian Hayes

Newcastle Authors	Title	Year
Professor Ian Hayes Professor Cliff Jones	Comparing Degrees of Non-Determinism in Expression Evaluation	2013
Professor Ian Hayes Professor Cliff Jones	Refining rely-guarantee thinking	2012
Professor Ian Hayes Professor Cliff Jones	Comparing Models of Nondeterministic Expression Evaluation	2011
Professor Ian Hayes Professor Michael Jackson Professor Cliff Jones	Determining the specification of a control system from that of its environment	2003

Newcastle University Library, NE2 4HQ, United Kingdom. Tel: 0044 (191) 222 7657
[Web Team] [ePrints admin]
©2011 Newcastle University Library