Locality Refinement

Authors

  • Thomas Dinsdale-Young
  • Philippa Gardner
  • Mark Wheelhouse

Venue

Verified Software: Theories, Tools and Experiments (VSTTE) 2010

Publication Date

Aug 2010

Identifiers

Source Materials