Dyfyniad APA

O'Leary, J., Kaivola, R., & Melham, T. (2013). Relational STE and theorem proving for formal verification of industrial circuit designs.

Dyfyniad Arddull Chicago

O'Leary, J., R. Kaivola, and T. Melham. Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs. 2013.

Dyfyniad MLA

O'Leary, J., et al. Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs. 2013.

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.