APA引文

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

Chicago Style (17th ed.) Citation

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

MLA引文

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

警告:這些引文格式不一定是100%准確.