Normal view
MARC view
Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki (Personal Name)
Machine generated authority record
Work cat.: (OSt)1657211: Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki, Formal Analysis of Future Energy Systems Using Interactive Theorem Proving