A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nick Moffat, Michael Goldsmith, Bill Roscoe. A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking. In Shaoying Liu, T. S. E. Maibaum, Keijiro Araki, editors, Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings. Volume 5256 of Lecture Notes in Computer Science, pages 258-277, Springer, 2008. [doi]

This author has not been identified. Look up 'Nick Moffat' in GoogleThis author has not been identified. Look up 'Michael Goldsmith' in GoogleThis author has not been identified. Look up 'Bill Roscoe' in Google

runs on WebDSL