APA citiranje

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 citiranje

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