Personensuche
X
?
10
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 ,
15