O'Leary, J., Kaivola, R., & Melham, T. (2013). Relational STE and theorem proving for formal verification of industrial circuit designs.
Citazione stile Chigago Style (17a edizione)O'Leary, J., R. Kaivola, e T. Melham. Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs. 2013.
Citatione MLA (9a ed.)O'Leary, J., et al. Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs. 2013.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.