O'Leary, J., Kaivola, R., & Melham, T. (2013). Relational STE and theorem proving for formal verification of industrial circuit designs.
Cytowanie według stylu Chicago (wyd. 17)O'Leary, J., R. Kaivola, i T. Melham. Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs. 2013.
Cytowanie według stylu MLA (wyd. 9)O'Leary, J., et al. Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs. 2013.
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..