Tim Kersten

• Verifizierende rechnerinvariante Numerikmodule