Current filters:

Start a new search
Add filters:

Use filters to refine the search results.

Results 1-3 of 3
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
16-Aug-2010Abstraction and refinement in local reasoningDinsdale-Young, T; Gardner, PA; Wheelhouse, M
1-Jan-2010Concurrent abstract predicatesDinsdale-Young, T; Dodds, M; Gardner, PA; Parkinson, M; Vafeiadis, V
1-Jan-2010Locality RefinementDinsdale-Young, T; Gardner, P; Wheelhouse, M