Filipovic, I and O'Hearn, PW and Torp-Smith, N and 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