Dyfyniad APA

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

Dyfyniad Arddull Chicago

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

Dyfyniad MLA

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

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.