KORSO: Methods, Languages, and Tools for the Construction of Correct SoftwareManfred BroyUitverkochtVolgen
Applied Mathematical Sciences - 158: Prandtl's Essentials of Fluid Mechanics: Second EditionM. BöhleUitverkochtVolgen
