Home
Genres
Deals
Log in
Sign up
Premium
Help
Download
Privacy
Terms
Falah Awwad — Author | Lex | Lex
F
Falah Awwad
1 work on record
Works
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
2021