APA ציטוט

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

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