APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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