Cita APA

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

Citación estilo Chicago

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

Cita MLA

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

Warning: These citations may not always be 100% accurate.