Ostroff, J., Wang, C., Kerfoot, E., & Torshizi, F. (2006). Automated Model−Based Verification of Object−Oriented Code.
芝加哥风格引文Ostroff, J., C. Wang, E. Kerfoot, 与 F. Torshizi. Automated Model−Based Verification of Object−Oriented Code. 2006.
MLA引文Ostroff, J., et al. Automated Model−Based Verification of Object−Oriented Code. 2006.
警告：这些引文格式不一定是100％准确.