Personensuche
X
?
12
Formal Analysis of Future Energy Systems Using Interactive ..
SpringerBriefs in Applied Sciences and Technology
?
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving; SpringerBriefs in Applied Sciences and Technology ,
14