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.
ציטוט MLAMoffat, N., et al. Towards Symmetry Aware Refinement Checking (Extended Abstract). 2007.
אזהרה: ציטוטים אלה לעיתים לא מדויקים ב 100%.