APA (7. basım) Alıntı

O'Leary, J., Kaivola, R., & Melham, T. (2013). Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs. IEEE.

Chicago Style (17. basım) Atıf

O'Leary, J., R. Kaivola, ve T. Melham. Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs. IEEE, 2013.

MLA (9th ed.) Atıf

O'Leary, J., et al. Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs. IEEE, 2013.