Using the Alloy Analyzer to Verify Data Refinement in Z

@article{Marr2005UsingTA,
  title={Using the Alloy Analyzer to Verify Data Refinement in Z},
  author={Christie Marr},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={2005},
  volume={137},
  pages={23-44}
}
Highly Cited
This paper has 29 citations. REVIEW CITATIONS