TY  - BOOK
AU  - Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki
TI  - Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
SN  - 9783030784096
PB  - Springer
UR  - https://link.springer.com/openurl?genre=book&isbn=978-3-030-78409-6
ER  -