Ostroff, J., Wang, C., Kerfoot, E., & Torshizi, F. (2006). Automated Model−Based Verification of Object−Oriented Code.
Chicagoスタイル(17版)引用形式Ostroff, J., C. Wang, E. Kerfoot, , F. Torshizi. Automated Model−Based Verification of Object−Oriented Code. 2006.
MLA(9版)引用形式Ostroff, J., et al. Automated Model−Based Verification of Object−Oriented Code. 2006.
警告: この引用は必ずしも正確ではありません.