Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
de Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki
Ediciones (1)
- Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (2021)
Springer International Publishing AG · inglés · ISBN 9783030784089