APA (7e ed.) Bronvermelding

O'Leary, J., Kaivola, R., & Melham, T. (2013). Relational STE and theorem proving for formal verification of industrial circuit designs.

Chicago (17e ed.) Bronvermelding

O'Leary, J., R. Kaivola, en T. Melham. Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs. 2013.

MLA (9e ed.) Bronvermelding

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