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, та 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%.