Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

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

Παραπομπή σε μορφή MLA (9th εκδ.)

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