O'Leary, J., Kaivola, R., & Melham, T. (2013). Relational STE and theorem proving for formal verification of industrial circuit designs.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումO'Leary, J., R. Kaivola, and T. Melham. Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs. 2013.
MLA (9րդ խմբ.) ՄեջբերումO'Leary, J., et al. Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs. 2013.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.