Dyfyniad APA

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

Dyfyniad Arddull Chicago

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

Dyfyniad MLA

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

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.