"282","Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification","","http://deploy-eprints.ecs.soton.ac.uk/282/","Jones, C. B. and Pierce, K. G.","UNSPECIFIED","       <span class=\"person_name\">Jones, C. B.</span> and <span class=\"person_name\">Pierce, K. G.</span>     (2010)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/282/\"><em>Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification.</em></a>       Technical Report.     Newcastle University .           ","","2010-01"