D'Silva, V., Purandare, M., Kroening, D., & Logozzo, F. (2008). Approximation Refinement for Interpolation−Based Model Checking. Springer.
Lua i Stíl Chicago (17ú heag.)D'Silva, V., M. Purandare, D. Kroening, agus F. Logozzo. Approximation Refinement for Interpolation−Based Model Checking. Springer, 2008.
Lua MLA (9ú heag.)D'Silva, V., et al. Approximation Refinement for Interpolation−Based Model Checking. Springer, 2008.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.