O'Leary, J., Kaivola, R., & Melham, T. (2013). Relational STE and theorem proving for formal verification of industrial circuit designs.
Lua i Stíl Chicago (17ú heag.)O'Leary, J., R. Kaivola, agus T. Melham. Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs. 2013.
Lua MLA (9ú heag.)O'Leary, J., et al. Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs. 2013.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.