Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.