UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Blaming the client: on data refinement in the presence of pointers.

Filipovic, I; O'Hearn, PW; Torp-Smith, N; Yang, H; (2010) Blaming the client: on data refinement in the presence of pointers. Formal Asp. Comput. , 22 , Article 5. 10.1007/s00165-009-0125-8.

Full text not available from this repository.


Type:Article
Title:Blaming the client: on data refinement in the presence of pointers.
DOI:10.1007/s00165-009-0125-8
UCL classification:UCL > School of BEAMS > Faculty of Engineering Science > Computer Science

Archive Staff Only: edit this record