Search

You searched for: Auteur Bastaki, Nabil Remove constraint Auteur: Bastaki, Nabil
1 entry found
Number of results to display per page

Search Results

1. Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
thumbnail
Full text!
Author:
Ahmed, Asad; Awwad, Falah; Bastaki, Nabil; Hasan, Osman
Publisher:
Springer 2022
Format:
e-book