Formal Analysis of Future Energy Systems Using Interactive Theorem ProvingAsad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki · First published 2021Open the Tome
