Pages that link to "Item:Q607403"

The following pages link to Blaming the client: on data refinement in the presence of pointers (Q607403):

Displaying 2 items.

• Abstract local reasoning for concurrent libraries: mind the gap (Q283756) (← links)
• Refactoring and representation independence for class hierarchies (Q428866) (← links)