O'Leary, J., Kaivola, R., & Melham, T. (2013). Relational STE and theorem proving for formal verification of industrial circuit designs.
芝加哥风格引文O'Leary, J., R. Kaivola, 与 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％准确.