APA (7th ed.) Citation

Hanna, Z., & Melham, T. (2011). A symbolic execution framework for algorithm-level modelling and verification of computer microarchitecture.

Chicago Style (17th ed.) Citation

Hanna, Ziyad, and Tom Melham. A Symbolic Execution Framework for Algorithm-level Modelling and Verification of Computer Microarchitecture. 2011.

MLA (9th ed.) Citation

Hanna, Ziyad, and Tom Melham. A Symbolic Execution Framework for Algorithm-level Modelling and Verification of Computer Microarchitecture. 2011.

Warning: These citations may not always be 100% accurate.