Towards Symmetry Aware Refinement Checking (Extended Abstract) (International Symmetry Conference‚ Edinburgh‚ January 15−17‚ 2007, 2007)

(untitled) - Moffat, N; Goldsmith, M; Roscoe, B