Cita APA (7a ed.)

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

Cita Chicago Style (17a ed.)

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

Cita MLA (9a ed.)

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