Madhukar, K., Wachter, B., Kroening, D., Lewis, M., Srivas, M., & Kaivola, R. (2016). Accelerating invariant generation. IEEE.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումMadhukar, K., B. Wachter, D. Kroening, M. Lewis, M. Srivas, and R. Kaivola. Accelerating Invariant Generation. IEEE, 2016.
MLA (9րդ խմբ.) ՄեջբերումMadhukar, K., et al. Accelerating Invariant Generation. IEEE, 2016.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.