APA (7. basım) Alıntı

Madhukar, K., Wachter, B., Kroening, D., Lewis, M., Srivas, M., & Kaivola, R. (2016). Accelerating invariant generation. IEEE.

Chicago Style (17. basım) Atıf

Madhukar, K., B. Wachter, D. Kroening, M. Lewis, M. Srivas, ve R. Kaivola. Accelerating Invariant Generation. IEEE, 2016.

MLA (9th ed.) Atıf

Madhukar, K., et al. Accelerating Invariant Generation. IEEE, 2016.