Moffat, N., Goldsmith, M., & Roscoe, B. (2007). Towards Symmetry Aware Refinement Checking (Extended Abstract).
Citação norma ChicagoMoffat, N., M. Goldsmith, and B. Roscoe. Towards Symmetry Aware Refinement Checking (Extended Abstract). 2007.
Citação norma MLAMoffat, 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.