A Mechanized Refinement Framework for Analysis of Custom Memories

@inproceedings{Ray2007AMR,
  title={A Mechanized Refinement Framework for Analysis of Custom Memories},
  author={Sandip Ray and Jayanta Bhadra},
  year={2007}
}