Cita APA (7th ed.)

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

Cita Chicago (17th ed.)

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

Cita MLA (9th ed.)

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