Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.