Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Towards Symmetry Aware Refinement Checking (Extended Abstract)

Towards Symmetry Aware Refinement Checking (Extended Abstract)

Nick Moffat‚ Michael Goldsmith and Bill Roscoe

Journal
International Symmetry Conference‚ Edinburgh‚ January 15−17‚ 2007
Year
2007

Links

See Also

Back to Top