Formal Analysis of Future Energy Systems Using Interactive Theorem ProvingAsad Q Ahmed, Osman Hasan og 2 andrePocketEngelskDel av serien SpringerBriefs in Applied Sciences and TechnologyLegg i handlekurvNettlager