Moffat, N., Goldsmith, M., & Roscoe, B. (2007). Towards Symmetry Aware Refinement Checking (Extended Abstract).
Chicago Style (17th ed.) CitationMoffat, N., M. Goldsmith, and B. Roscoe. Towards Symmetry Aware Refinement Checking (Extended Abstract). 2007.
MLA引文Moffat, N., et al. Towards Symmetry Aware Refinement Checking (Extended Abstract). 2007.
警告:這些引文格式不一定是100%准確.