Ostroff, J., Wang, C., Kerfoot, E., & Torshizi, F. (2006). Automated Model−Based Verification of Object−Oriented Code.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Ostroff, J., C. Wang, E. Kerfoot, và F. Torshizi. Automated Model−Based Verification of Object−Oriented Code. 2006.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)Ostroff, J., et al. Automated Model−Based Verification of Object−Oriented Code. 2006.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.