Locality Refinement Venue Verified Software: Theories, Tools and Experiments (VSTTE) 2010 Publication date Aug 2010 Identifiers DOI: doi:10.25561/95218 Authors Thomas Dinsdale-Young Philippa Gardner Mark Wheelhouse Source Materials Technical Report Published Edition BibTeX Citation