APA (7th ed.) Citation

Moffat, N., Goldsmith, M., & Roscoe, B. (2007). Towards Symmetry Aware Refinement Checking (Extended Abstract).

Chicago Style (17th ed.) Citation

Moffat, N., M. Goldsmith, and B. Roscoe. Towards Symmetry Aware Refinement Checking (Extended Abstract). 2007.

MLA (9th ed.) Citation

Moffat, N., et al. Towards Symmetry Aware Refinement Checking (Extended Abstract). 2007.

Warning: These citations may not always be 100% accurate.