KORSO: Methods, Languages, and Tools for the Construction of Correct SoftwareManfred BroyÉpuiséPrévenez-moi
Applied Mathematical Sciences - 158: Prandtl's Essentials of Fluid Mechanics: Second EditionM. BöhleÉpuiséPrévenez-moi
