Blaming the client: on data refinement in the presence of pointers (0)

by I Filipovic, P W O’Hearn, N Torp-Smith, H Yang
Venue:Formal Asp. Comput