O'Leary, J., Kaivola, R., & Melham, T. (2013). Relational STE and theorem proving for formal verification of industrial circuit designs.
Chicagoスタイル(17版)引用形式O'Leary, J., R. Kaivola, , T. Melham. Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs. 2013.
MLA(9版)引用形式O'Leary, J., et al. Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs. 2013.
警告: この引用は必ずしも正確ではありません.