APA (7e ed.) Bronvermelding

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

Chicago (17e ed.) Bronvermelding

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

MLA (9e ed.) Bronvermelding

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