Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Asad Ahmed
,
Falah Awwad
,
Nabil Bastaki
,
Osman Hasan
Details
OL Work ID
OL25330964W
Find this book
Open Library