Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

MLA

Ahmed, Asad, et al. Formal Analysis of Future Energy Systems Using Interactive Theorem Proving. Springer, 2022.

APA

Ahmed, A., Awwad, F., Bastaki, N., & Hasan, O. (2022). Formal Analysis of Future Energy Systems Using Interactive Theorem Proving. Springer.

Chicago

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