APA Citation

Ahmed, A., Hasan, O., Awwad, F., & Bastaki, N. Formal analysis of future energy systems using interactive theorem proving.

Chicago Style Citation

Ahmed, Asad, Osman Hasan, Falah Awwad, and Nabil Bastaki. Formal Analysis of Future Energy Systems Using Interactive Theorem Proving.

MLA Citation

Ahmed, Asad, Osman Hasan, Falah Awwad, and Nabil Bastaki. Formal Analysis of Future Energy Systems Using Interactive Theorem Proving.

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