Formal Analysis of Future Energy Systems Using Interactive Theorem ProvingAsad Q Ahmed, Osman Hasan, Falah Awwad, Nabil BastakiHäftad703 kr
Del 10383Intelligent Computer MathematicsHerman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf TeschkeHäftad559 kr
Formal Analysis of Future Energy Systems Using Interactive Theorem ProvingAsad Q Ahmed, Osman Hasan, Falah Awwad, Nabil BastakiHäftad703 kr
Del 10383Intelligent Computer MathematicsHerman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf TeschkeHäftad559 kr
Del 10466Verification and Evaluation of Computer and Communication SystemsKamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène TaharHäftad559 kr