Madhukar, K., Wachter, B., Kroening, D., Lewis, M., Srivas, M., & Kaivola, R. (2016). Accelerating invariant generation. IEEE.
Style de citation Chicago (17e éd.)Madhukar, K., B. Wachter, D. Kroening, M. Lewis, M. Srivas, et R. Kaivola. Accelerating Invariant Generation. IEEE, 2016.
Style de citation MLA (9e éd.)Madhukar, K., et al. Accelerating Invariant Generation. IEEE, 2016.
Attention : ces citations peuvent ne pas être correctes à 100%.