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.

M.L.A (9 ম সংস্করণ) উদ্ধৃতি

O'Leary, J., et al. Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs. 2013.