APA aipamena

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

Chicago Style aipamena

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

MLA aipamena

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