APA citiranje

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 citiranje

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