APA-Zitierstil (7. Ausg.)

O'Leary, J., Kaivola, R., & Melham, T. (2013). Relational STE and theorem proving for formal verification of industrial circuit designs.

Chicago-Zitierstil (17. Ausg.)

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

MLA-Zitierstil (9. Ausg.)

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