APA-ийн эшлэл(7 дахь хэвлэлт)

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.