Kaiser, A., Kroening, D., Wahl, T., & Koutny, M. (2012). Efficient coverability analysis by proof minimization. Springer.
Lua i Stíl Chicago (17ú heag.)Kaiser, A., D. Kroening, T. Wahl, agus M. Koutny. Efficient Coverability Analysis by Proof Minimization. Springer, 2012.
Lua MLA (9ú heag.)Kaiser, A., et al. Efficient Coverability Analysis by Proof Minimization. Springer, 2012.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.