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