O'Leary, J., Kaivola, R., & Melham, T. (2013). Relational STE and theorem proving for formal verification of industrial circuit designs.
Chicago-čujuhus (17. p.)O'Leary, J., R. Kaivola, juo T. Melham. Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs. 2013.
MLA-čujuhus (9. p.)O'Leary, J., et al. Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs. 2013.
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.