|Title: ||Linking unifying theories of program refinement|
|Affiliation: ||The University of Queensland; University of Teesside. School of Computing.|
|Citation: ||Hayes, I.J., Dunne, S.E. and Meinicke, L. (2012) 'Linking unifying theories of program refinement', Science of Computer Programming. Forthcoming in 2012.|
|Journal: ||Science of Computer Programming|
|Issue Date: ||2012 |
|Additional Links: ||http://linkinghub.elsevier.com/retrieve/pii/S0167642312001384|
|Keywords: ||program termination|
unifying theories of programming
|Rights: ||Subject to restriction, author can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 07/12/2012].|
|Citation Count: ||0 [Scopus, 07/12/2012]|
|Appears in Collections: ||Computer Science|
|Files in This Item:|
There are no files associated with this item.
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.