O'Leary, J., Kaivola, R., & Melham, T. (2013). Relational STE and theorem proving for formal verification of industrial circuit designs.
Citace podle Chicago (17th ed.)O'Leary, J., R. Kaivola, a T. Melham. Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs. 2013.
Citace podle MLA (9th ed.)O'Leary, J., et al. Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs. 2013.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..