1 book • 1 series
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (SpringerBriefs in Applied Sciences and Technology)