O'Leary, J., Kaivola, R., & Melham, T. (2013). Relational STE and theorem proving for formal verification of industrial circuit designs.
Citação do estilo Chicago (17ª ed.)O'Leary, J., R. Kaivola, e T. Melham. Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs. 2013.
Citação MLA (9ª ed.)O'Leary, J., et al. Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs. 2013.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.