Madhukar, K., Wachter, B., Kroening, D., Lewis, M., Srivas, M., & Kaivola, R. (2016). Accelerating invariant generation. IEEE.
Lua i Stíl Chicago (17ú heag.)Madhukar, K., B. Wachter, D. Kroening, M. Lewis, M. Srivas, agus R. Kaivola. Accelerating Invariant Generation. IEEE, 2016.
Lua MLA (9ú heag.)Madhukar, K., et al. Accelerating Invariant Generation. IEEE, 2016.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.