Results (1)

  • Shape refinement through explicit heap analysis
    Conference paper