D'Silva, V., Purandare, M., Kroening, D., & Logozzo, F. (2008). Approximation Refinement for Interpolation−Based Model Checking. Springer.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)D'Silva, V., M. Purandare, D. Kroening, và F. Logozzo. Approximation Refinement for Interpolation−Based Model Checking. Springer, 2008.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)D'Silva, V., et al. Approximation Refinement for Interpolation−Based Model Checking. Springer, 2008.
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%.